Avoid using the term coverage in the report about executed events (#503)

Signed-off-by: Hernan Ponce de Leon <[email protected]>

dartagnan/src/main/java/com/dat3m/dartagnan/verification/solving/RefinementSolver.java

@@ -490,7 +490,7 @@ private static CharSequence generateCoverageReport(Set<Event> coveredEvents, Pro
         final double branchCoveragePercentage = coveredBranches.size() * 1d / branches.size();
 
         final StringBuilder report = new StringBuilder()
-                .append("Property-based coverage (executed by at least one property-violating execution, including inconsistent executions): \n")
+                .append("Events executed by at least one property-violating behavior, including inconsistent executions: \n")
                 .append("\t-- Events: ")
                 .append(String.format("%s (%s / %s)", df.format(eventCoveragePercentage),
                         programEvents.size() - messageSet.size(), programEvents.size()))