- Added state space display script.
This commit is contained in:
7
src/scytherss
Executable file
7
src/scytherss
Executable file
@@ -0,0 +1,7 @@
|
|||||||
|
#!/bin/sh
|
||||||
|
#
|
||||||
|
# Typical usage:
|
||||||
|
#
|
||||||
|
# ./scytherss bke.spdl -r2 | ggv -
|
||||||
|
|
||||||
|
./scyther --state-space $* | dot -Tps
|
||||||
Reference in New Issue
Block a user