Model verifying that wakeup really
can be called after release without causing deadlock.
This commit is contained in:
parent
943fd378a1
commit
949352af66
2 changed files with 150 additions and 0 deletions
16
spinp
Executable file
16
spinp
Executable file
|
@ -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
|
||||
|
Loading…
Add table
Add a link
Reference in a new issue