update verif

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

diff --git a/trunk/verif/examples/run b/trunk/verif/examples/run
index 5a47e64403a1211b2189da4f345327f1ed86070b..8a2cf84071281cbb06705e63ff40e3701e72921b 100755 (executable)
--- a/trunk/verif/examples/run
+++ b/trunk/verif/examples/run
@@ -1,5 +1,8 @@
 #!/bin/bash
 
+#avail. mem
+MEM=15360
+
 ../Spin/Src5.1.6/spin -a buffer.spin
-cc -DSAFETY -o pan pan.c
+cc -DMEMLIM=${MEM} -DSAFETY -o pan pan.c
 ./pan