Skip to content
Makefile CI

CHC: add outputparameter proof obligations insertion and checking #214

Sign in to view logs

CHC: add outputparameter proof obligations insertion and checking

CHC: add outputparameter proof obligations insertion and checking #214

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile CodeHawk (4.12.1)
4m 54s
Compile CodeHawk (4.13.1)
4m 56s
Compile CodeHawk (4.14.1)
4m 57s
Run CodeHawk-Binary tests
0s
Run CodeHawk-C tests
0s
14m 47s