Skip to content
Build and run tests with Verific (Linux)

functional tests: run from make tests but not smtlib/rkt tests #916

Sign in to view logs

functional tests: run from make tests but not smtlib/rkt tests

functional tests: run from make tests but not smtlib/rkt tests #916

Run time

Learn about OS pricing on GitHub Actions
Job Run time
pre-job
6s
pre-job
6s
pre-job
6s
test-verific
10m 40s
test-verific
12m 37s
test-verific
12m 58s
Generate docs artifact
0s
Generate docs artifact
0s
Generate docs artifact
56s
37m 29s