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 cat no_events_lost.def
> pan.spin
18 spin
-f
"!(`cat no_events_lost.ltl | grep -v ^//`)" >> pan.ltl
22 events_lost
: clean events_lost_ltl run
26 spin
-f
"!(`cat events_lost.ltl | grep -v ^//`)" >> pan.ltl
30 read_write
: clean read_write_ltl run
34 spin
-f
"!(`cat read_write.ltl | grep -v ^//`)" >> pan.ltl
38 commit_sum
: clean commit_sum_ltl run
42 spin
-f
"!(`cat commit_sum.ltl | grep -v ^//`)" >> pan.ltl
47 .
/pan
-v
-X
-m100000
-w21
-a
-c1
50 gcc
-w
-o pan
-D_POSIX_SOURCE
-DMEMLIM
=750 -DXUSAFE
-DNOFAIR pan.c
52 pan.c
: pan.ltl model.spin
53 cat model.spin
>> pan.spin
54 spin
-a
-X
-N pan.ltl pan.spin