From 7e93a297c4ac68a51b5b5847979827a8c5975ceb Mon Sep 17 00:00:00 2001
From: Julian Blake Kongslie
Date: Sun, 19 Mar 2023 14:22:39 -0700
Subject: Add various spin models, including one that might actually work.

---
 spin/Makefile | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 spin/Makefile

(limited to 'spin/Makefile')

diff --git a/spin/Makefile b/spin/Makefile
new file mode 100644
index 0000000..73669f9
--- /dev/null
+++ b/spin/Makefile
@@ -0,0 +1,11 @@
+default: $(addsuffix .trail, $(wildcard *.pml))
+
+clean:
+	rm -f pan* *.pml.*
+
+%.pml.trail: %.pml
+	@rm -f $@
+	spin -search -bitstate -l $< | egrep '^(pan|spin):'
+	[ ! -e $@ ] || spin -c -g -l -p -replay $<
+
+.SECONDARY:
-- 
cgit v1.2.3