Removed SMT call from inversion proof #67
Triggered via pull request
October 8, 2024 17:14
JoaoDiogoDuarte
Status
Failure
Total duration
2h 47m 54s
Artifacts
–
amd64-linux.yml
on: pull_request
check-safety
1m 43s
check-sct
15s
extract-to-easycrypt
16s
compile-src
18s
test
25s
bench
35s
proof
2m 17s
Annotations
1 error
|
proof
Process completed with exit code 2.
|