Skip to content

Commit 324d817

Browse files
committed
Document that detail messages should not be filtered out (#146)
1 parent 33817d8 commit 324d817

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
@@ -143,6 +143,8 @@ private static ImmutableSet<ReportedFact> analyze(
143143
return result.getUnexpectedDiagnostics().stream()
144144
.map(d -> DetailMessage.parse(d.getMessage(), testDirectory))
145145
.filter(Objects::nonNull)
146+
// Do not filter out messages without details.
147+
// .filter(DetailMessage::hasDetails)
146148
.map(DetailMessageReportedFact::new)
147149
.collect(toImmutableSet());
148150
}

0 commit comments

Comments
 (0)