move everything out of trunk

[lttv.git] / verif / lttng / run

diff --git a/verif/lttng/run b/verif/lttng/run
new file mode 100755 (executable)
index 0000000..8a2cf84
--- /dev/null
+++ b/verif/lttng/run
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+#avail. mem
+MEM=15360
+
+../Spin/Src5.1.6/spin -a buffer.spin
+cc -DMEMLIM=${MEM} -DSAFETY -o pan pan.c
+./pan