Changeset 639 for trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDgenerateGreedy.java
- Timestamp:
- 08/27/12 15:53:25 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDgenerateGreedy.java
r547 r639 9 9 import java.util.Map; 10 10 import java.util.Set; 11 import java.util.logging.Level; 11 12 12 13 import de.ugoe.cs.quest.CommandHelpers; … … 86 87 } 87 88 } 88 Console.traceln( "" + allSequences.size() + " possible");89 Console.traceln(Level.INFO, "" + allSequences.size() + " possible"); 89 90 90 91 Collection<List<Event>> allSubSeqs = model … … 139 140 } 140 141 if (maxIndex < 0 || sequenceGain[maxIndex] <= 0.0 + eps) { 141 Console.traceln( "No gain anymore! Desired coverage cannot be satisfied!");142 Console.traceln(Level.WARNING, "No gain anymore! Desired coverage cannot be satisfied!"); 142 143 break; 143 144 }
Note: See TracChangeset
for help on using the changeset viewer.