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

Triggered via push January 7, 2025 11:02
@JonasAlaifJonasAlaif
pushed f7ad587
main
Status Cancelled
Total duration 5m 10s
Artifacts –

smt2.yml

on: push
generate_smt2
4m 58s
generate_smt2
Fit to window
Zoom out
Zoom in

Annotations

2 errors
generate_smt2
The run was canceled by @JonasAlaif.
generate_smt2
The operation was canceled.