Skip to content
Test Z3

Add command to convert smtml scripts to smt-lib scripts #24

Sign in to view logs

Add command to convert smtml scripts to smt-lib scripts

Add command to convert smtml scripts to smt-lib scripts #24

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-z3
12m 52s
12m 52s