safety breaks for alpha release

sybila · Apr 4, 2017 · 43b2f18 · 43b2f18
1 parent 0f51e63
commit 43b2f18
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/main/java/com/github/sybila/Main.kt b/src/main/java/com/github/sybila/Main.kt
@@ -5,7 +5,6 @@ import com.github.sybila.checker.StateMap
 import com.github.sybila.checker.map.SingletonStateMap
 import com.github.sybila.checker.solver.SolverStats
 import com.github.sybila.ode.generator.det.RectangleSet
-import com.github.sybila.ode.generator.rect.Rectangle
 import com.github.sybila.ode.model.OdeModel
 import com.github.sybila.ode.model.Parser
 import com.github.sybila.ode.model.computeApproximation
@@ -15,6 +14,7 @@ import org.kohsuke.args4j.Option
 import java.io.File
 import java.io.PrintStream
 import java.util.*
+import kotlin.system.exitProcess
 
 typealias Params = RectangleSet
 
@@ -116,6 +116,11 @@ fun main(args: Array<String>) {
                 fast = config.fastApproximation, cutToRange = config.cutToRange
         )
 
+        if (odeModel.parameters.size != 2) {
+            System.err.println("This alpha version supports only EXACTLY 2 parameters.")
+            exitProcess(10)
+        }
+
         logStream?.println("Configuration loaded. Computing transition system")
 
         // reset statistics