Commit 442ef4a6 authored by Alfons Laarman's avatar Alfons Laarman
Browse files

Fix test suite

parent 467490da
......@@ -96,7 +96,7 @@ function compile {
PINS="models-$EXP/$FILE.spins"
if [ ! -e "$PINS" ]; then
cd "models-$EXP"
"$SPINS" $5 "$CASESTUDIES/$DIR/$FILE" > "$FILE.out"
"$SPINS" -N $5 "$CASESTUDIES/$DIR/$FILE" > "$FILE.out"
cd ..
fi
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment