Update the SAW integration #315
Triggered via pull request
January 27, 2025 22:03
sauclovian-g
Status
Cancelled
Total duration
19m 27s
Artifacts
–
Annotations
6 errors
|
proofs (check)
Process completed with exit code 17.
|
|
proofs (proof/correctness_add.saw)
Process completed with exit code 17.
|
|
proofs (proof/bulk_addition.saw)
Process completed with exit code 17.
|
|
proofs (proof/functional_proofs.saw)
Process completed with exit code 17.
|
|
proofs (proof/memory_safety.saw)
The run was canceled by @sauclovian-g.
|
|
proofs (proof/memory_safety.saw)
The operation was canceled.
|