Changeset b067d9b for tests/ifwhileCtl.cfa

Timestamp:

Oct 29, 2019, 4:01:24 PM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

773db65, 9421f3d8

Parents:

7951100 (diff), 8364209 (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

File:

• tests/ifwhileCtl.cfa (moved) (moved from src/tests/ifwhileCtl.c ) (4 diffs)

tests/ifwhileCtl.cfa

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// ifwhileCtl.c --
+// ifwhileCtl.cfa --
 //
 // Author           : Peter A. Buhr
 // Created On       : Sat Aug 26 10:13:11 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Jun  6 17:15:09 2018
-// Update Count     : 21
+// Last Modified On : Tue Dec  4 21:39:18 2018
+// Update Count     : 23
 //
 
-#include <fstream>
+#include <fstream.hfa>
 
 int f( int r ) { return r; }
@@ -22 +22 @@
 
         if ( int x = 1 ) {
-                sout | "x != 0 correct" | endl;
+                sout | "x != 0 correct";
         } else {
-                sout | "x == 0 incorrect" | endl;
+                sout | "x == 0 incorrect";
         } // if
 
         if ( int x = 4, y = 0 ) {
-                sout | "x != 0 && y != 0 incorrect" | endl;
+                sout | "x != 0 && y != 0 incorrect";
         } else if ( int x = 4, y = 1 ) {
-                sout | "x != 0 && y != 0 correct" | endl;
+                sout | "x != 0 && y != 0 correct";
         } else {
-                sout | "x == 0 || y == 0 incorrect" | endl;
+                sout | "x == 0 || y == 0 incorrect";
         } // if
 
         if ( int x = 5, y = f( x ); x == y ) {
-                sout | "x == y correct" | endl;
+                sout | "x == y correct";
         } else {
-                sout | "x != y incorrect" | endl;
+                sout | "x != y incorrect";
         } // if
 
         if ( struct S { int i; } s = { 3 }; s.i < 4 ) {
                 S s1;
-                sout | "s.i < 4 correct" | endl;
+                sout | "s.i < 4 correct";
         } else {
                 S s1;
-                sout | "s.i >= 4 incorrect" | endl;
+                sout | "s.i >= 4 incorrect";
         } // if
 
         while ( int x = 1 ) {
-                sout | "x != 0 correct" | endl;
+                sout | "x != 0 correct";
                 break;
         } // while
 
         while ( int x = 4, y = 0 ) {
-                sout | "x != 0 && y != 0 incorrect" | endl;
+                sout | "x != 0 && y != 0 incorrect";
         } // while
 
         while ( int x = 5, y = f( x ); x == y ) {
-                sout | "x == y correct" | endl;
+                sout | "x == y correct";
                 break;
         } // while
@@ -65 +65 @@
         while ( struct S { int i; } s = { 3 }; s.i < 4 ) {
                 S s1;
-                sout | "s.i < 4 correct" | endl;
+                sout | "s.i < 4 correct";
                 break;
         } // while
@@ -72 +72 @@
 // Local Variables: //
 // tab-width: 4 //
-// compile-command: "cfa ifwhileCtl.c" //
+// compile-command: "cfa ifwhileCtl.cfa" //
 // End: //