| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'instr-to-kodkod/src/Main.java')
| -rw-r--r-- | instr-to-kodkod/src/Main.java | 11 |
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) |