add formal verif

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

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