Skip to content

Commit 644b705

Browse files
committed
Document that detail messages should not be filtered out (#146)
1 parent 73a3c08 commit 644b705

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

src/test/java/tests/ConformanceTest.java

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -144,6 +144,8 @@ private static ImmutableSet<ReportedFact> analyze(
144144
return result.getUnexpectedDiagnostics().stream()
145145
.map(d -> DetailMessage.parse(d.getMessage(), testDirectory))
146146
.filter(Objects::nonNull)
147+
// Do not filter out messages without details.
148+
// .filter(DetailMessage::hasDetails)
147149
.map(DetailMessageReportedFact::new)
148150
.collect(toImmutableSet());
149151
}

0 commit comments

Comments
 (0)