move everything out of trunk

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

diff --git a/trunk/verif/md/run b/trunk/verif/md/run
deleted file mode 100755 (executable)
index ccb6458..0000000
--- a/trunk/verif/md/run
+++ /dev/null
@@ -1,44 +0,0 @@
-#!/bin/bash
-
-#avail. mem
-MEM=15360
-
-#spin -a model.spin
-#cc -DMEMLIM=${MEM} -DSAFETY -o pan pan.c
-#./pan
-
-#first LTL formula
-cat defines > pan.ltl
-/usr/local/bin/spin -f "!($(cat model_03_write_read_off.spin.ltl | grep -v ^//))" >> pan.ltl
-/usr/local/bin/spin -a -X -N pan.ltl  model.spin
-
-gcc -w -o pan -D_POSIX_SOURCE -DMEMLIM=1850 -DXUSAFE -DNOFAIR  pan.c
-time ./pan -v -X -m10000 -w19  -a -c1
-
-#second LTL formula
-cat defines > pan.ltl
-/usr/local/bin/spin -f "!($(cat model_03_write_commit_sum.spin.ltl | grep -v ^//))" >> pan.ltl
-/usr/local/bin/spin -a -X -N pan.ltl  model.spin
-
-gcc -w -o pan -D_POSIX_SOURCE -DMEMLIM=1850 -DXUSAFE -DNOFAIR  pan.c
-time ./pan -v -X -m10000 -w19  -a -c1
-
-#3rd
-cat defines > pan.ltl
-/usr/local/bin/spin -f "!($(cat model_03_events_lost.spin.ltl | grep -v ^//))" >> pan.ltl
-/usr/local/bin/spin -a -X -N pan.ltl  model.spin
-
-gcc -w -o pan -D_POSIX_SOURCE -DMEMLIM=1850 -DXUSAFE -DNOFAIR  pan.c
-time ./pan -v -X -m10000 -w19  -a -c1
-
-#4th
-cat defines > pan.ltl
-/usr/local/bin/spin -f "!($(cat model_03_no_events_lost.spin.ltl | grep -v ^//))" >> pan.ltl
-/usr/local/bin/spin -a -X -N pan.ltl  model.spin
-
-gcc -w -o pan -D_POSIX_SOURCE -DMEMLIM=1850 -DXUSAFE -DNOFAIR  pan.c
-time ./pan -v -X -m10000 -w19  -a -c1
-
-
-
-