MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

slowCheck: don't print the same trace twice in a row while shrinking

Browse Source
This commit is contained in:
peter
2017-07-07 21:15:05 +02:00
parent 1932f0b17f
commit 83f7f4ebbf
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
slowCheck/src/slowCheck/StatusNotifier.java
+6 -1
View File
@@ -45,6 +45,7 @@ class StatusNotifier {
}
private int lastReportedStage = -1;
private String lastReportedTrace = null;
void shrinkAttempt(PropertyFailure<?> failure) {
if (shouldPrint()) {
int stage = failure.getMinimizationStageCount();
@@ -58,7 +59,11 @@ class StatusNotifier {
Throwable exceptionCause = failure.getMinimalCounterexample().getExceptionCause();
if (exceptionCause != null) {
System.err.println(" Reason: " + shortenStackTrace(exceptionCause));
String trace = shortenStackTrace(exceptionCause);
if (!trace.equals(lastReportedTrace)) {
lastReportedTrace = trace;
System.err.println(" Reason: " + trace);
}
}
System.err.println();
}