syndicate-2017/racket/typed/syndicate/run-spin.sh

#!/bin/sh

pushd ${1%/*}/

EXE="$1-verifier.o"

spin -a $1
gcc -o $EXE pan.c
$EXE -a -f -n -N $2
rm $EXE pan.c

popd
shell script for running spin 2021-01-11 16:50:50 +00:00			`#!/bin/sh`

Translate trail file counterexample back to a syndicate-level trace 2021-01-15 16:14:30 +00:00			`pushd ${1%/*}/`

shell script for running spin 2021-01-11 16:50:50 +00:00			`EXE="$1-verifier.o"`

			`spin -a $1`
			`gcc -o $EXE pan.c`
			`$EXE -a -f -n -N $2`
clean up generated files 2021-01-11 17:10:05 +00:00			`rm $EXE pan.c`
Translate trail file counterexample back to a syndicate-level trace 2021-01-15 16:14:30 +00:00
			`popd`