BlockExecution { @Override public int hashCode() { return Objects.hash(block, state); } BlockExecution(CfgBlock block, ProgramState state); @Override int hashCode(); @Override boolean equals(Object obj); CfgBlock block(); ProgramState state();  }
@Test public void test_hashCode() throws Exception { assertThat(new BlockExecution(block1, state1).hashCode()).isEqualTo(new BlockExecution(block1, state1).hashCode()); }