update verif

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

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