DiffSharp
diff --git a/‎tests/Dsbench/Program.fs
Lines changed: 12 additions & 12 deletions b/‎tests/Dsbench/Program.fs
Lines changed: 12 additions & 12 deletions
@@ -103,53 +103,53 @@ let rec parseArgsRec args optionsSoFar =
             parseArgsRec xss {optionsSoFar with benchmarks= optionsSoFar.benchmarks @ [f]}
         | _ ->
             eprintfn "Option -b needs to be followed by a benchmark name (1, 2)."
-            parseArgsRec xs optionsSoFar
+            exit 1
     | ("/m" | "-m") ::xs -> 
         match xs with
         | (("auto" | "numeric") as f)::xss -> 
             parseArgsRec xss {optionsSoFar with modes = optionsSoFar.modes @ [f]}
         | _ ->
             eprintfn "Option -b needs to be followed by a mode name (auto,numeric)."
-            parseArgsRec xs optionsSoFar
+            exit 1
     | "/f"::xs | "-f"::xs ->
         match xs with
         | f::xss -> 
             parseArgsRec xss {optionsSoFar with fileName = f; changed = true}
         | _ ->
             eprintfn "Option -f needs to be followed by a file name."
-            parseArgsRec xs optionsSoFar
+            exit 1
     | "/r"::xs | "-r"::xs ->
         match xs with
         | r::xss ->
             let couldparse, reps = System.Int32.TryParse r
             if couldparse then
                 if reps < minRepetitions then
                     eprintfn "Given value for -r was too small, using the minimum: %i." minRepetitions
-                    parseArgsRec xss {optionsSoFar with repetitions = minRepetitions; changed = true}
+                    exit 1
                 else
                     parseArgsRec xss {optionsSoFar with repetitions = reps; changed = true}
             else
                 eprintfn "Option -r was followed by an invalid value."
-                parseArgsRec xs optionsSoFar
+                exit 1
         | _ ->
             eprintfn "Option -r needs to be followed by a number."
-            parseArgsRec xs optionsSoFar
+            exit 1
     | "/vsize"::xs | "-vsize"::xs ->
         match xs with
         | s::xss ->
             let couldparse, size = System.Int32.TryParse s
             if couldparse then
                 if size < minVectorSize then
                     eprintfn "Given value for -vsize was too small, using the minimum: %i." minVectorSize
-                    parseArgsRec xss {optionsSoFar with vectorSize = minVectorSize; changed = true}
+                    exit 1
                 else
                     parseArgsRec xss {optionsSoFar with vectorSize = size; changed = true}
             else
                 eprintfn "Option -vsize was followed by an invalid value."
-                parseArgsRec xs optionsSoFar
+                exit 1
         | _ ->
             eprintfn "Option -vsize needs to be followed by a number."
-            parseArgsRec xs optionsSoFar
+            exit 1
     | x::xs ->
         eprintfn "Option \"%s\" is unrecognized." x
         parseArgsRec xs optionsSoFar
@@ -194,16 +194,16 @@ let main argv =
 
         let benchmarks = 
             match ops.benchmarks with 
-            | [] -> ["bench1"; "bench2"] 
+            | [] -> ["1"; "2"] 
             | xss -> xss
 
         let modes = 
             match ops.modes with 
             | [] -> [ "auto"; "numeric"] 
             | xss -> xss
 
-        let bench1 = List.contains "bench1" benchmarks 
-        let bench2 = List.contains "bench2" benchmarks 
+        let bench1 = List.contains "1" benchmarks 
+        let bench2 = List.contains "2" benchmarks 
         let auto = List.contains "auto" modes
         let numeric = List.contains "numeric" modes