@Test
public void addNonFeasible() {

    AbstractVFState state = new AbstractVFState(new int[4][], new int[6][]) {
        @Override
        boolean feasible(int n, int m) {
            return false;
        }
    };
    assertFalse(state.add(0, 1));
    assertThat(state.size, is(0));
    assertThat(state.m1, is(new int[]{UNMAPPED, UNMAPPED, UNMAPPED, UNMAPPED}));
    assertThat(state.m2, is(new int[]{UNMAPPED, UNMAPPED, UNMAPPED, UNMAPPED, UNMAPPED, UNMAPPED}));
    assertThat(state.t1, is(new int[]{0, 0, 0, 0}));
    assertThat(state.t2, is(new int[]{0, 0, 0, 0, 0, 0}));
}