protected void tearDown() throws Exception {
super.tearDown();
}
public void testBooleanStateStack() {
BooleanStateStack s = new BooleanStateStack(true, true);
assertTrue(s.isTrue());
s.revert();
assertTrue(s.isTrue());
s = new BooleanStateStack(false, false);
assertFalse(s.isTrue());
s.revert();
assertFalse(s.isTrue());
}