Changes in src/examples/assert.c [86bd7c1f:1f2061de]

File:

• src/examples/assert.c (modified) (1 diff)

src/examples/assert.c

@@ -1 @@
-//
-// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
-//
-// The contents of this file are covered under the licence agreement in the
-// file "LICENCE" distributed with Cforall.
-//
-// assert.c -- 
-//
-// Author           : Richard C. Bilson
-// Created On       : Wed May 27 17:56:53 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Wed May 27 18:10:43 2015
-// Update Count     : 2
-//
+// "./cfa-cpp -c rodolfo2.c"
+
+extern "C" {
+    #include <assert.h>
+}
+
+int a = 7;
 
 void f() {
-        (1) ? (void)(0) : (void)(0);
+    int b;
+    b = a;
+    int a = 8;
+    assert( b == 7 );
 }
-
-// Local Variables: //
-// tab-width: 4 //
-// compile-command: "cfa assert.c" //
-// End: //