Skip to content
dune CI

CHC: add outputparameter proof obligations insertion and checking #218

Sign in to view logs

CHC: add outputparameter proof obligations insertion and checking

CHC: add outputparameter proof obligations insertion and checking #218

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile and test CodeHawk (4.12.1)
5m 26s
Compile and test CodeHawk (4.13.1)
5m 12s
Compile and test CodeHawk (5.1.1)
5m 26s
Compile and test CodeHawk (5.0.0)
5m 24s
Compile and test CodeHawk (4.14.1)
5m 25s
Run CodeHawk-Binary tests
0s
Run CodeHawk-C tests
0s
26m 53s