@Test
 public void testCase7() {
   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 o8_0 = klazz.getCurQtrs() + 1;
   klazz.addQtr();
   assertEquals(klazz.getCurQtrs(), o8_0);
   assertEquals("allowed", 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 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 testCase0() {
   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());
   klazz.setCurQtrs(3 + 1);
   Object o11_0 = klazz.getTotalQtrs() + 2;
   Object o11_1 = klazz.getCurQtrs() - 2;
   klazz.vend();
   assertEquals(klazz.getTotalQtrs(), o11_0);
   assertEquals(klazz.getCurQtrs(), o11_1);
   assertEquals("allowed", klazz.getStateFullName());
 }
 @Test
 public void testCase6() {
   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 o7_0 = 0;
   Object o7_1 = 0;
   Object o7_2 = false;
   klazz.reset();
   assertEquals(klazz.getTotalQtrs(), o7_0);
   assertEquals(klazz.getCurQtrs(), o7_1);
   assertEquals(klazz.getAllowVend(), o7_2);
   assertEquals("empty", klazz.getStateFullName());
 }
 @Test
 public void testCase4() {
   Object o2_0 = klazz.getCurQtrs() + 1;
   klazz.addQtr();
   assertEquals(klazz.getCurQtrs(), o2_0);
   assertEquals("notAllowed", klazz.getStateFullName());
   Object o4_0 = 0;
   Object o4_1 = 0;
   klazz.reset();
   assertEquals(klazz.getTotalQtrs(), o4_0);
   assertEquals(klazz.getCurQtrs(), o4_1);
   assertEquals("empty", klazz.getStateFullName());
 }