Switch between output for BDD and BDT if necessary

solutions/RSync/src/main/scala/MainApp.scala

@@ -15,6 +15,8 @@ object MainApp extends App {
   private val modelPath = sys.env.get("ModelPath")
   private val benchmarkInfo = fetchBenchmarkInfo()
 
+  println()
+
   if (modelPath.isEmpty) {
     sys.error("Expected model to convert in the ModelPath environment variable")
   }
@@ -44,7 +46,11 @@ object MainApp extends App {
     benchmarkingService.start()
     CompleteTTCProcess.run()
     benchmarkDuration = benchmarkingService.stop()
-    reportingService.report(benchmarkInfo, Run, benchmarkDuration, Some(MetricMeasurement.printMetricsBDT()))
+    if (CompleteTTCProcess.bdt) {
+      reportingService.report(benchmarkInfo, Run, benchmarkDuration, Some(MetricMeasurement.printMetricsBDT()))
+    } else {
+      reportingService.report(benchmarkInfo, Run, benchmarkDuration, Some(MetricMeasurement.printMetricsBDD()))
+    }
   })
 
   /** Retrieves information about the benchmark that should be executed.

solutions/RSync/src/main/scala/ttc2019/CompleteTTCProcess.scala

@@ -24,6 +24,7 @@ object CompleteTTCProcess extends App {
   var validator: Launcher = _
   var saver: TruthTable = _
   var processConfig: TTCProcessConfiguration = _
+  var bdt: Boolean = _
 
   /**
    * Performs necessary setup instructions such as loading the ecore meta-model.
@@ -32,7 +33,7 @@ object CompleteTTCProcess extends App {
    */
   def initialize(processConfig: TTCProcessConfiguration): Unit = {
     val sync = true
-    val bdt = false
+    bdt = false
     loader = new TTCLoader
     validator = new Launcher
     if (sync) {