From 0ccc7f57bee2867f05a2926a305977003dd15d1b Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 19 Jul 2017 10:58:26 +0200
Subject: Adds messages to follow the framework's flow.

---
 instr-to-kodkod/src/Main.java | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'instr-to-kodkod/src/Main.java')

diff --git a/instr-to-kodkod/src/Main.java b/instr-to-kodkod/src/Main.java
index 0b1d2e4..0719679 100644
--- a/instr-to-kodkod/src/Main.java
+++ b/instr-to-kodkod/src/Main.java
@@ -31,6 +31,8 @@ public class Main
       {
          try
          {
+            System.out.println("Loading level file \"" + lvl + "\"...");
+
             VHDLLevel.add_to_model(MODEL, lvl);
          }
          catch (final Exception e)
@@ -59,6 +61,13 @@ public class Main
 
       try
       {
+         System.out.println
+         (
+            "Loading property file \""
+            + PARAMETERS.get_property_file()
+            + "\"..."
+         );
+
          return pro.generate_formula();
       }
       catch (final IOException e)
@@ -81,6 +90,8 @@ public class Main
       {
          try
          {
+            System.out.println("Loading model file \"" + mod + "\"...");
+
             MODEL.parse_file(mod);
          }
          catch (final Exception e)
-- 
cgit v1.2.3-70-g09d2