Skip to content
Make .smt2 files

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

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 #61

Triggered via push January 7, 2025 11:06
@JonasAlaifJonasAlaif
pushed 33ff703
main
Status Cancelled
Total duration 15m 36s
Artifacts –

smt2.yml

on: push
generate_smt2
15m 27s
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.