Skip to content
Make .smt2 files

Properly delete old files when generating logs, improve z3 scripts #60

Sign in to view logs

Properly delete old files when generating logs, improve z3 scripts

Properly delete old files when generating logs, improve z3 scripts #60

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generate_smt2
4m 58s
4m 58s