Skip to content
Test Z3

Make test_fp.smt2 faster and fix parsing of fp32 literals #231

Sign in to view logs

Make test_fp.smt2 faster and fix parsing of fp32 literals

Make test_fp.smt2 faster and fix parsing of fp32 literals #231

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-z3
16m 18s
16m 18s