diff --git a/spins.sh b/spins.sh
index 8db9ed1c65fa92250f47534408c61a8a4db4db28..a8df89496b3ae1f7dd1395366c329504539a0af3 100755
--- a/spins.sh
+++ b/spins.sh
@@ -23,11 +23,11 @@ for option in ${1+"$@"}; do
     fi
 done
 
-if [ -z "$promela_file" ]; then
-    echo "usage: spins [options] promela_file" ;
-    echo "options will be passed to GCC"
-    exit 1
-fi
+#if [ -z "$promela_file" ]; then
+#    echo "usage: spins [options] promela_file" ;
+#    echo "options will be passed to GCC"
+#    exit 1
+#fi
 
 promela_name=`basename $promela_file`
 output_file="${promela_name}.spins.c"
diff --git a/tests/run.sh b/tests/run.sh
index 3da8e787c285b34be7cbcc74d3f514a86ce01b69..7794aaf4583299b9001ea07b6e5ad0d785302ddb 100755
--- a/tests/run.sh
+++ b/tests/run.sh
@@ -12,6 +12,8 @@ echo $EXP - $EXTRA
 RUNDIR=`dirname "$0"`
 RUNDIR=`realpath "$RUNDIR"`
 
+OPTION=$2
+
 LTSMINDIR="$RUNDIR/../.."
 SPINSDIR="$LTSMINDIR/spins"
 if [ ! -e "$LTSMINDIR/CODING-STANDARDS" ]; then
@@ -70,7 +72,7 @@ function runtest {
     OUT="$EXP/$FILE-por-r1-$STORAGE-s$STORAGE_SIZE-$THREADS.out"
     if [ ! -e $OUT ]; then
         PINS="models-$EXP/$FILE.spins"
-        EXPLORE=`$LTSMIN --ratio=1 --strategy=dfs --state=$STORAGE \
+        EXPLORE=`$LTSMIN --ratio=1 $OPTION --strategy=dfs --state=$STORAGE \
              -s$STORAGE_SIZE $EXTRA -v $PINS 2>&1 | tee $OUT`
 
         STATESNEW=`echo "$EXPLORE"|grep "Elements: "|sed 's/.* \([0-9]*\)$/\1/g'`