heptagon/examples/reachability/build.sh

3 lines
89 B
Bash
Raw Permalink Normal View History

heptc -target ctrln reachability.ept
reax -a 'sB:r' reachability_ctrln/reach_verif.ctrln