change simple test in CompleteTTCProcess.scala

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

@@ -96,7 +96,7 @@ object CompleteTTCProcess extends App {
   }
 
   override def main(args: Array[String]): Unit = {
-    val processConfig = TTCProcessConfiguration(ttFileName = "TT.ttmodel", bddFileName = "Generated.bddmodel", processMode = ProcessMode.BDDU)
+    val processConfig = TTCProcessConfiguration(ttFileName = "TT.ttmodel", bddFileName = "Generated.bddmodel", processMode = ProcessMode.BDD)
     executeEntireProcess(processConfig)
   }