Skip to content
Makefile CI

CHC:add proof obligations to calls #220

Sign in to view logs

CHC:add proof obligations to calls

CHC:add proof obligations to calls #220

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile CodeHawk (4.13.1)
2m 23s
Compile CodeHawk (4.12.1)
2m 27s
Compile CodeHawk (4.14.1)
2m 32s
Run CodeHawk-Binary tests (4.13.1)
17s
Run CodeHawk-Binary tests (4.14.1)
15s
Run CodeHawk-C tests (4.13.1)
6s
Run CodeHawk-Binary tests (4.12.1)
22s
Run CodeHawk-C tests (4.12.1)
6s
Run CodeHawk-C tests (4.14.1)
6s
8m 34s