@Test
public void testReachFilter_permit_headerSpace() {
SearchFiltersParameters.Builder paramsBuilder =
_allLocationsParams
.toBuilder()
.setDestinationIpSpaceSpecifier(new ConstantIpSpaceSpecifier(IP0.toIpSpace()))
.setSourceIpSpaceSpecifier(new ConstantIpSpaceSpecifier(UniverseIpSpace.INSTANCE))
.setHeaderSpace(HeaderSpace.builder().build());
SearchFiltersParameters params = paramsBuilder.build();
Optional<SearchFiltersResult> result = _batfish.reachFilter(_config, ACL, params);
assertThat("Should find result", result.isPresent());
assertThat(result.get().getExampleFlow(), hasDstIp(IP0));
params = paramsBuilder.setHeaderSpace(HeaderSpace.builder().setNegate(true).build()).build();
result = _batfish.reachFilter(_config, ACL, params);
assertThat("Should find result", result.isPresent());
assertThat(result.get().getExampleFlow(), hasDstIp(IP3));
}