Added some logging capabilities

INTO-CPS-Association · Dec 11, 2023 · e8994cf · e8994cf
1 parent 15c5cea
commit e8994cf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/org/intocps/verification/scenarioverifier/api/GenerationAPI.scala b/src/main/scala/org/intocps/verification/scenarioverifier/api/GenerationAPI.scala
@@ -12,7 +12,7 @@ object GenerationAPI extends Logging {
     * Synthesize an orchestration algorithm with respect to the scenario model.
    */
   def synthesizeAlgorithm(name: String, scenarioModel: ScenarioModel): MasterModel = {
-    logger.info("Synthesizing algorithm")
+    logger.info("Synthesizing algorithm for scenario: " + scenarioModel.toConf(0))
     val simplifiedScenario = simplifyScenario(scenarioModel)
     val synthesizer = new SynthesizerSimple(simplifiedScenario)
     val instantiationModel = ScenarioLoader.generateInstantiationInstructions(simplifiedScenario).toList