Adds messages to follow the framework's flow.

1 files changed, 11 insertions, 0 deletions

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)