Changeset 420 for trunk/EventBenchCore/src/de/ugoe

Timestamp:

07/16/12 13:17:41 (12 years ago)

Author:

sherbold

Message:

• fixed bug with possible NaN values in coverage calculation

File:

• trunk/EventBenchCore/src/de/ugoe/cs/eventbench/coverage/CoverageCalculatorProcess.java (modified) (1 diff)

trunk/EventBenchCore/src/de/ugoe/cs/eventbench/coverage/CoverageCalculatorProcess.java

@@ -160 +160 @@
                 double weight = 0.0;
                 for (List<? extends Event<?>> subSeq : containedSubSeqs) {
-                        weight += subSeqWeights.get(subSeq);
+                        Double curWeight = subSeqWeights.get(subSeq);
+                        if( curWeight!=null ) {
+                                weight += curWeight;
+                        }
                 }
                 return weight;