Changeset 223a633 for tests/exceptions

Timestamp:

Oct 15, 2020, 3:41:38 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

b9537e6

Parents:

33c3ded (diff), 0b18db7 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Location:

tests/exceptions

Files:

• .expect/virtual-cast.txt (modified) (1 diff)
• .expect/virtual-poly.txt (modified) (1 diff)
• defaults.cfa (modified) (1 diff)
• virtual-cast.cfa (modified) (1 diff)
• virtual-poly.cfa (modified) (1 diff)

tests/exceptions/.expect/virtual-cast.txt

@@ +1 @@
+done

tests/exceptions/.expect/virtual-poly.txt

@@ +1 @@
+done

tests/exceptions/defaults.cfa

@@ -55 +55 @@
 
 void unhandled_test(void) {
-        forall(dtype T | is_exception(T))
+        forall(dtype T, dtype V | is_exception(T, V))
         void defaultTerminationHandler(T &) {
                 throw (unhandled_exception){};

tests/exceptions/virtual-cast.cfa

@@ -74 +74 @@
         free(tri);
         free(top);
+        printf( "done\n" );                             // non-empty .expect file
 }

tests/exceptions/virtual-poly.cfa

@@ -77 +77 @@
         mono_poly_test();
         poly_poly_test();
+        printf( "done\n" );                             // non-empty .expect file
 }