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 > $@