diff --git a/scripts/Queries/ResultsDataWriteGroups.pm b/scripts/Queries/ResultsDataWriteGroups.pm index 58d38b6..53c5dd2 100644 --- a/scripts/Queries/ResultsDataWriteGroups.pm +++ b/scripts/Queries/ResultsDataWriteGroups.pm @@ -30,7 +30,9 @@ sub query { # "inject-on-write" fault model like in global-occurrences-onwrite.sh # # A fault in a written value is treated as a fault in the next access to - # the same address. + # the same address. Only a read consumes the value, if it is overwritten + # first, the write is skipped. + # # FAIL weights the write area by SUM(t.width), this query uses # (g.time2 - g.time1 + 1) instead. my $resulttype_order = @@ -71,6 +73,7 @@ FROM ( JOIN trace t ON t.variant_id = g.variant_id AND t.data_physical_address = g.data_physical_address AND t.instr1 = g.instr2 + 1 + AND t.accesstype = 'R' JOIN fspgroup h ON h.variant_id = t.variant_id AND h.data_physical_address = t.data_physical_address AND h.instr2 = t.instr2