default: $(addsuffix .trail, $(wildcard *.pml))

clean:
	rm -f pan* *.pml.*

%.pml.trail: %.pml
	@rm -f $@
	spin -run -bfs -bitstate $< #| egrep '^(pan|spin):'
	[ ! -e $@ ] || spin -c -g -l -p -replay $<

.SECONDARY: