diff --git a/src/scytherss b/src/scytherss new file mode 100755 index 0000000..3ad3eb6 --- /dev/null +++ b/src/scytherss @@ -0,0 +1,7 @@ +#!/bin/sh +# +# Typical usage: +# +# ./scytherss bke.spdl -r2 | ggv - + +./scyther --state-space $* | dot -Tps