/** Test method for {@link asgn2CarParks.CarPark#initialState()}. */
@Test
public void testInitialState() {
assertNotNull(cp.initialState());
}
/** Test method for {@link asgn2CarParks.CarPark#initialState()}. */
@Test
public void testInitialState() {
assertNotNull(cp.initialState());
}
