| summaryrefslogtreecommitdiff |
diff options
| -rw-r--r-- | instr-to-kodkod/src/Parameters.java | 4 | ||||
| -rw-r--r-- | instr-to-kodkod/src/VHDLModel.java | 5 |
2 files changed, 6 insertions, 3 deletions
diff --git a/instr-to-kodkod/src/Parameters.java b/instr-to-kodkod/src/Parameters.java index 68a6bd1..81c9dba 100644 --- a/instr-to-kodkod/src/Parameters.java +++ b/instr-to-kodkod/src/Parameters.java @@ -52,10 +52,10 @@ public class Parameters has_pro_file = false; has_error = false; - var_prefix = args[1]; + var_prefix = args[0]; prop_file = new String(); - for (int i = 2; i < args.length; ++i) + for (int i = 1; i < args.length; ++i) { if (args[i].endsWith(".lvl")) { diff --git a/instr-to-kodkod/src/VHDLModel.java b/instr-to-kodkod/src/VHDLModel.java index ed448c4..7a9671e 100644 --- a/instr-to-kodkod/src/VHDLModel.java +++ b/instr-to-kodkod/src/VHDLModel.java @@ -291,7 +291,10 @@ public class VHDLModel for (final VHDLType t: types.values()) { - result.addAll(t.get_all_members_as_atoms()); + if (t.is_used()) + { + result.addAll(t.get_all_members_as_atoms()); + } } return result; |