7 make commit_sum | tee commit_sum.log
8 make read_write | tee read_write.log
9 make events_lost | tee events_lost.log
10 make no_events_lost | tee no_events_lost.log
13 no_events_lost
: clean no_events_lost_ltl run
17 spin
-f
"!(`cat no_events_lost.ltl | grep -v ^//`)" >> pan.ltl
21 events_lost
: clean events_lost_ltl run
25 spin
-f
"!(`cat events_lost.ltl`)" >> pan.ltl
29 read_write
: clean read_write_ltl run
33 spin
-f
"!(`cat read_write.ltl`)" >> pan.ltl
37 commit_sum
: clean commit_sum_ltl run
41 spin
-f
"!(`cat commit_sum.ltl`)" >> pan.ltl
46 .
/pan
-v
-X
-m100000
-w21
-a
-c1
49 gcc
-w
-o pan
-D_POSIX_SOURCE
-DMEMLIM
=750 -DXUSAFE
-DNOFAIR pan.c
51 pan.c
: pan.ltl model.spin
52 spin
-a
-X
-N pan.ltl model.spin