From 5be15eb73b010b7e74ea318c222f2bafe3d421e0 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 19 Jul 2004 08:55:23 +0000
Subject: [PATCH] - Added state space display script.

---
 src/scytherss | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 src/scytherss

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