Skip to content
Make .smt2 files

Use fstar makefiles to run test instead #49

Sign in to view logs

Use fstar makefiles to run test instead

Use fstar makefiles to run test instead #49

Triggered via push December 27, 2024 00:13
@JonasAlaifJonasAlaif
pushed baba393
main
Status Cancelled
Total duration 59s
Artifacts –

smt2.yml

on: push
generate_smt2
48s
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.