crucible-debug-0.1.0: test-data/prove-true.txt

> load test-data/assert-true.cbl

Loaded 1 CFGs from test-data/assert-true.cbl

> step

Ok

> call main

Ok

> run

Ok

> prove

No obligations to prove

> done

Ok