1 files changed, 10 insertions, 3 deletions

diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/script/MeasurementScript.xtend b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/script/MeasurementScript.xtend
index 56a65091..f842afb5 100644
--- a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/script/MeasurementScript.xtend
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/script/MeasurementScript.xtend
@@ -29,19 +29,26 @@ class MeasurementScript {
 enum Domain {
         fs,
         ecore,
+        ecoreUnsat,
         Yakindu,
+        YakinduUnsat,
         FAM,
-        satellite
+        satellite,
+        satelliteUnsat
 }
 
 enum Scope {
         none,
-        quantiles
+        quantiles,
+        upperOnly,
+        unsat,
+        exactly
 }
 
 enum Solver {
         ViatraSolver,
-        AlloySolver
+        AlloySolver,
+        AlloyMiniSat
 }
 
 enum ScopePropagator {