add formal verif

[lttv.git] / trunk / verif / examples / run

diff --git a/trunk/verif/examples/run b/trunk/verif/examples/run
new file mode 100755 (executable)
index 0000000..5a47e64
--- /dev/null
+++ b/trunk/verif/examples/run
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+../Spin/Src5.1.6/spin -a buffer.spin
+cc -DSAFETY -o pan pan.c
+./pan