Changeset c2794b2 for tests/list/dlist-insert-remove.cfa

Timestamp:

May 17, 2021, 9:32:35 PM (3 years ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

d286e94d

Parents:

02a43ff

Message:

Adding isListed accessor function to new linked list.

File:

• tests/list/dlist-insert-remove.cfa (modified) (2 diffs)

tests/list/dlist-insert-remove.cfa

@@ -1607 +1607 @@
 }
 
+void test__isListed_cases__mary() {
+
+        mary m1 = {1.7};        assert(! m1`isListed);
+        mary m2 = {2.7};        assert(! m2`isListed);
+        mary m3 = {3.7};        assert(! m3`isListed);
+
+        dlist(mary) ml;
+
+        insert_last(ml, m1);    assert(  m1`isListed);  assert(! m2`isListed);
+        insert_last(ml, m2);    assert(  m2`isListed);  assert(! m3`isListed);
+        insert_last(ml, m3);    assert(  m3`isListed);
+
+        remove( m1 );           assert(! m1`isListed);  assert(  m2`isListed);
+        remove( m2 );           assert(! m2`isListed);  assert(  m3`isListed);
+        remove( m3 );           assert(! m3`isListed);
+
+        printf("isListed cases done\n");
+}
+
 ////////////////////////////////////////////////////////////
 //
@@ -1904 +1923 @@
         test__try_pop__mary();
         test__origin_mutation__mary();
+        test__isListed_cases__mary();
 
         return 0;