From 949352af6695cfbfc91a5c0e24ddae95c497b008 Mon Sep 17 00:00:00 2001
From: rsc <rsc>
Date: Fri, 12 Oct 2007 04:21:04 +0000
Subject: Model verifying that wakeup really can be called after release
 without causing deadlock.

---
 spinp | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100755 spinp

(limited to 'spinp')

diff --git a/spinp b/spinp
new file mode 100755
index 0000000..db9614b
--- /dev/null
+++ b/spinp
@@ -0,0 +1,16 @@
+#!/bin/sh
+
+if [ $# != 1 ] || [ ! -f "$1" ]; then
+	echo 'usage: spinp file.p' 1>&2
+	exit 1
+fi
+
+rm -f $1.trail
+spin -a $1 || exit 1
+cc -DSAFETY -DREACH -DMEMLIM=500 -o pan pan.c
+pan -i
+rm pan.* pan
+if [ -f $1.trail ]; then
+	spin -t -p $1
+fi
+
-- 
cgit v1.2.3