From 4420244e9c0fdef41baf811c283d9f843265d254 Mon Sep 17 00:00:00 2001
From: Julian Blake Kongslie
Date: Sat, 8 Apr 2023 13:28:28 -0700
Subject: Add spontaneous evictions.

---
 spin/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'spin/Makefile')

diff --git a/spin/Makefile b/spin/Makefile
index 73669f9..65bf08e 100644
--- a/spin/Makefile
+++ b/spin/Makefile
@@ -5,7 +5,7 @@ clean:
 
 %.pml.trail: %.pml
 	@rm -f $@
-	spin -search -bitstate -l $< | egrep '^(pan|spin):'
+	spin -run -bfs -bitstate $< #| egrep '^(pan|spin):'
 	[ ! -e $@ ] || spin -c -g -l -p -replay $<
 
 .SECONDARY:
-- 
cgit v1.2.3