示例#1
0
 /** Test method for {@link asgn2CarParks.CarPark#finalState()}. */
 @Test
 public void testFinalState() {
   cp.finalState();
 }