@Test
public void verifyFanStatistics() {
StateStatistics stats = result.getStatistics().getStateStats();
assertThat("Least fan in", stats.getLeastFanIn().getFanIn(), is(1));
assertThat("Most fan in", stats.getMostFanIn().getFanIn(), is(2));
assertThat("Least fan out", stats.getLeastFanOut().getFanIn(), is(1));
assertThat("Most fan out", stats.getMostFanOut().getFanOut(), is(2));
}
@Test
public void allEdgesAreInResult() {
assertThat(result.getEdges(), hasSize(NUMBER_OF_EDGES));
}
@Test
public void allStatesAreInResult() {
assertThat(result.getStates().keySet(), hasSize(NUMBER_OF_STATES));
}