crucible-debug-0.1.0: test-data/path-condition.txt

> path-condition

true

> run

Ok

> done

Ok