Changeset 234


Ignore:
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:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDcalcCoverage.java

    r209 r234  
    4343                        maxLength = Integer.parseInt((String) parameters.get(3)); 
    4444                        if (parameters.size() == 5) { 
    45                                 observedName = (String) parameters.get(1); 
     45                                observedName = (String) parameters.get(4); 
    4646                        } 
    4747                } catch (Exception e) { 
  • trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDgenerateFixedLengthSequences.java

    r209 r234  
    119119        @Override 
    120120        public void help() { 
    121                 Console.println("Usage: generateFixedLengthSequences <modelname> <sequencesName> <length> {<all>} {<numSequences>}"); 
     121                Console.println("Usage: generateFixedLengthSequences <modelname> <sequencesName> <minlenght> <maxlength> {<all>} {<numSequences>}"); 
    122122        } 
    123123 
Note: See TracChangeset for help on using the changeset viewer.