diff --git a/config/config.json b/config/config.json index e78b52c612a9ae7c3ed6ea262e81b6d741560fd7..12d5f2d30dad5a0774c2656853da9a9a7960e987 100644 --- a/config/config.json +++ b/config/config.json @@ -5,7 +5,10 @@ "RelationalRAGSolutionOBDT", "RelationalRAGSolutionROBDD", "RelationalRAGSolutionROBDD-H", - "RSync", + "RSyncBDD", + "RSyncBDD-Unordered", + "RSyncBDT", + "RSyncBDT-Unordered", "EMFSolutionATL" ], "Models": [ diff --git a/solutions/RSync/src/main/scala/MainApp.scala b/solutions/RSync/src/main/scala/MainApp.scala index 884225261f3071171b14bf3d3c585d0bee818664..e8928425d79c3a9fd791fdfa5b0476a1b551fc11 100644 --- a/solutions/RSync/src/main/scala/MainApp.scala +++ b/solutions/RSync/src/main/scala/MainApp.scala @@ -14,7 +14,7 @@ object MainApp extends App { var processMode = ProcessMode.BDT if (args.length >= 1) { - args.apply(1) match { + args.apply(0) match { case "bdt" => processMode = ProcessMode.BDT case "bdd" => processMode = ProcessMode.BDD case "bdt-u" => processMode = ProcessMode.BDTU diff --git a/solutions/RSyncBDD-Unordered/solution.ini b/solutions/RSyncBDD-Unordered/solution.ini index 088595848f1cbb7cf9f23aa5ba7f7c58d1b83257..8ee48aabb916cf5168a2f063b616d3f1fc4f1d9a 100644 --- a/solutions/RSyncBDD-Unordered/solution.ini +++ b/solutions/RSyncBDD-Unordered/solution.ini @@ -3,4 +3,4 @@ default=cd ../RSync && sbt compile skipTests=cd ../RSync && sbt compile [run] -cmd=cd ../RSync && sbt --error run bdd-u +cmd=cd ../RSync && sbt --error "run bdd-u" diff --git a/solutions/RSyncBDD/solution.ini b/solutions/RSyncBDD/solution.ini index c4ee03932dde1a82809804e89536b06b727f10d8..9883bc554fb31e8a562d499c55a643f41d566065 100644 --- a/solutions/RSyncBDD/solution.ini +++ b/solutions/RSyncBDD/solution.ini @@ -3,4 +3,4 @@ default=cd ../RSync && sbt compile skipTests=cd ../RSync && sbt compile [run] -cmd=cd ../RSync && sbt --error run bdd +cmd=cd ../RSync && sbt --error "run bdd" diff --git a/solutions/RSyncBDT-Unordered/solution.ini b/solutions/RSyncBDT-Unordered/solution.ini index 7672bc85cfba29b318a9d7d16eac085185991fa5..76189a79d31fb91a8f1d4da2b1f58d1e985040be 100644 --- a/solutions/RSyncBDT-Unordered/solution.ini +++ b/solutions/RSyncBDT-Unordered/solution.ini @@ -3,4 +3,4 @@ default=cd ../RSync && sbt compile skipTests=cd ../RSync && sbt compile [run] -cmd=cd ../RSync && sbt --error run bdt-u +cmd=cd ../RSync && sbt --error "run bdt-u" diff --git a/solutions/RSyncBDT/solution.ini b/solutions/RSyncBDT/solution.ini index 7358b66855969a0421dcb37e41f13a5aefa936b7..532ca0b314ba318c56ec0746781a7e00040639f0 100644 --- a/solutions/RSyncBDT/solution.ini +++ b/solutions/RSyncBDT/solution.ini @@ -3,4 +3,4 @@ default=cd ../RSync && sbt compile skipTests=cd ../RSync && sbt compile [run] -cmd=cd ../RSync && sbt --error run bdt +cmd=cd ../RSync && sbt --error "run bdt"