CC=gcc #CFLAGS=-DNOREDUCE T=test.pml all : sim s sim simulation : spin -T -p -l -g $T v ver verif verification search : #spin -search $T #spin -search -ltl xx $T spin -a $T make pan #./pan ./pan -a r rep replay : spin -T -p -l -g -t $T pdf : $(patsubst %.pml,%.pdf,$T) clean : rm -f pan pan.* *.pml.trail _spin_nvr.tmp $T.pdf %.pdf : %.dot dot -T pdf < $< > $@ %.dot : %.pml spin -a $< make pan ./pan -D > $@