Skip to content
Test cvc5

Fix parsing for .smt2 files #156

Sign in to view logs

Fix parsing for .smt2 files

Fix parsing for .smt2 files #156

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-cvc5
33m 56s
33m 56s