Changeset 234 for trunk/EventBenchConsole/src/de/ugoe/cs/eventbench

Timestamp:

10/05/11 00:40:58 (13 years ago)

Author:

sherbold

Message:

• minor bugfixes

Location:

trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands

Files:

• CMDcalcCoverage.java (modified) (1 diff)
• CMDgenerateFixedLengthSequences.java (modified) (1 diff)

trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDcalcCoverage.java

@@ -43 +43 @@
                         maxLength = Integer.parseInt((String) parameters.get(3));
                         if (parameters.size() == 5) {
-                                observedName = (String) parameters.get(1);
+                                observedName = (String) parameters.get(4);
                         }
                 } catch (Exception e) {

trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDgenerateFixedLengthSequences.java

@@ -119 +119 @@
         @Override
         public void help() {
-                Console.println("Usage: generateFixedLengthSequences <modelname> <sequencesName> <length> {<all>} {<numSequences>}");
+                Console.println("Usage: generateFixedLengthSequences <modelname> <sequencesName> <minlenght> <maxlength> {<all>} {<numSequences>}");
         }