7 #cc -DMEMLIM=${MEM} -DSAFETY -o pan pan.c
12 /usr
/local
/bin
/spin
-f "!($(cat model_03_write_read_off.spin.ltl | grep -v ^//))" >> pan.ltl
13 /usr
/local
/bin
/spin
-a -X -N pan.ltl model.spin
15 gcc
-w -o pan
-D_POSIX_SOURCE -DMEMLIM=1850 -DXUSAFE -DNOFAIR pan.c
16 time .
/pan
-v -X -m10000 -w19 -a -c1
20 /usr
/local
/bin
/spin
-f "!($(cat model_03_write_commit_sum.spin.ltl | grep -v ^//))" >> pan.ltl
21 /usr
/local
/bin
/spin
-a -X -N pan.ltl model.spin
23 gcc
-w -o pan
-D_POSIX_SOURCE -DMEMLIM=1850 -DXUSAFE -DNOFAIR pan.c
24 time .
/pan
-v -X -m10000 -w19 -a -c1
28 /usr
/local
/bin
/spin
-f "!($(cat model_03_events_lost.spin.ltl | grep -v ^//))" >> pan.ltl
29 /usr
/local
/bin
/spin
-a -X -N pan.ltl model.spin
31 gcc
-w -o pan
-D_POSIX_SOURCE -DMEMLIM=1850 -DXUSAFE -DNOFAIR pan.c
32 time .
/pan
-v -X -m10000 -w19 -a -c1
36 /usr
/local
/bin
/spin
-f "!($(cat model_03_no_events_lost.spin.ltl | grep -v ^//))" >> pan.ltl
37 /usr
/local
/bin
/spin
-a -X -N pan.ltl model.spin
39 gcc
-w -o pan
-D_POSIX_SOURCE -DMEMLIM=1850 -DXUSAFE -DNOFAIR pan.c
40 time .
/pan
-v -X -m10000 -w19 -a -c1
This page took 0.030474 seconds and 4 git commands to generate.