@Test
 public void testCase3() {
   Object o2_0 = klazz.getCurQtrs() + 1;
   klazz.addQtr();
   assertEquals(klazz.getCurQtrs(), o2_0);
   assertEquals("notAllowed", klazz.getStateFullName());
   Object o3_0 = 0;
   klazz.returnQtrs();
   assertEquals(klazz.getCurQtrs(), o3_0);
   assertEquals("empty", klazz.getStateFullName());
 }
 @Test
 public void testCase5() {
   Object o2_0 = klazz.getCurQtrs() + 1;
   klazz.addQtr();
   assertEquals(klazz.getCurQtrs(), o2_0);
   assertEquals("notAllowed", klazz.getStateFullName());
   Object o5_0 = klazz.getCurQtrs() + 1;
   Object o5_1 = true;
   klazz.addQtr();
   assertEquals(klazz.getCurQtrs(), o5_0);
   assertEquals(klazz.getAllowVend(), o5_1);
   assertEquals("allowed", klazz.getStateFullName());
   Object o6_0 = 0;
   Object o6_1 = false;
   klazz.returnQtrs();
   assertEquals(klazz.getCurQtrs(), o6_0);
   assertEquals(klazz.getAllowVend(), o6_1);
   assertEquals("empty", klazz.getStateFullName());
 }
 @Test
 public void testCase1() {
   klazz.returnQtrs();
   assertEquals("empty", klazz.getStateFullName());
 }