@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 testCase8() {
   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(2);
   Object o9_0 = klazz.getTotalQtrs() + 2;
   Object o9_1 = 0;
   Object o9_2 = false;
   klazz.vend();
   assertEquals(klazz.getTotalQtrs(), o9_0);
   assertEquals(klazz.getCurQtrs(), o9_1);
   assertEquals(klazz.getAllowVend(), o9_2);
   assertEquals("empty", klazz.getStateFullName());
 }