@Test
public void testGetExplanation() {
SearchFiltersParameters params =
_allLocationsParams.toBuilder().setGenerateExplanations(false).build();
Optional<SearchFiltersResult> result = _batfish.reachFilter(_config, ACCEPT_ALL_ACL, params);
assertThat("Should get a result", result.isPresent());
assertThat(
"Should not get an explanation", !result.get().getHeaderSpaceDescription().isPresent());
params = _allLocationsParams.toBuilder().setGenerateExplanations(true).build();
result = _batfish.reachFilter(_config, ACCEPT_ALL_ACL, params);
assertThat("Should get a result", result.isPresent());
assertThat("Should get an explanation", result.get().getHeaderSpaceDescription().isPresent());
assertThat(result.get().getHeaderSpaceDescription().get(), equalTo(TrueExpr.INSTANCE));
}
}