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