From 145bc84e338fac216e8d1e7006b5fd83eb58ff8f Mon Sep 17 00:00:00 2001
From: Sam Caldwell <samc@ccs.neu.edu>
Date: Mon, 11 Jan 2021 11:50:50 -0500
Subject: [PATCH] shell script for running spin

---
 racket/typed/run-spin.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 racket/typed/run-spin.sh

diff --git a/racket/typed/run-spin.sh b/racket/typed/run-spin.sh
new file mode 100755
index 0000000..2d868a7
--- /dev/null
+++ b/racket/typed/run-spin.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+EXE="$1-verifier.o"
+
+spin -a $1
+gcc -o $EXE pan.c
+$EXE -a -f -n -N $2