public class StoredIntLinkedListTest {
@Test(groups = "1s")
public void test1() {
EnvironmentTrailing environment = new EnvironmentTrailing();
Set_Std_LinkedList llist = new Set_Std_LinkedList(environment);
Assert.assertFalse(llist.contain(1));
Assert.assertFalse(llist.contain(2));
Assert.assertFalse(llist.contain(3));
environment.worldPush();
llist.add(1);
llist.add(2);
Assert.assertTrue(llist.contain(1));
Assert.assertTrue(llist.contain(2));
Assert.assertFalse(llist.contain(3));
environment.worldPop();
Assert.assertFalse(llist.contain(1));
Assert.assertFalse(llist.contain(2));
Assert.assertFalse(llist.contain(3));
llist.add(1);
llist.add(2);
Assert.assertTrue(llist.contain(1));
Assert.assertTrue(llist.contain(2));
Assert.assertFalse(llist.contain(3));
environment.worldPush();
Assert.assertTrue(llist.contain(1));
Assert.assertTrue(llist.contain(2));
Assert.assertFalse(llist.contain(3));
llist.remove(2);
llist.add(3);
Assert.assertTrue(llist.contain(1));
Assert.assertFalse(llist.contain(2));
Assert.assertTrue(llist.contain(3));
environment.worldPop();
Assert.assertTrue(llist.contain(1));
Assert.assertTrue(llist.contain(2));
Assert.assertFalse(llist.contain(3));
// // backtracking above root node makes no sense
// environment.worldPop();
// Assert.assertFalse(llist.contain(1));
// Assert.assertFalse(llist.contain(2));