Changes in tests/concurrent/examples/boundedBufferINT.cfa [107b01a:f8cd310]

File:

• tests/concurrent/examples/boundedBufferINT.cfa (modified) (3 diffs)

tests/concurrent/examples/boundedBufferINT.cfa

@@ -1 +1 @@
 //
+// Cforall Version 1.0.0 Copyright (C) 2017 University of Waterloo
+// 
 // The contents of this file are covered under the licence agreement in the
 // file "LICENCE" distributed with Cforall.
@@ -8 +10 @@
 // Created On       : Mon Oct 30 12:45:13 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Dec 11 21:55:45 2018
-// Update Count     : 84
+// Last Modified On : Fri Mar 22 13:41:52 2019
+// Update Count     : 88
 //
 
-#include <stdlib.hfa>                                                                           // random
+#include <stdlib.hfa>                                                                   // random
 #include <fstream.hfa>
 #include <kernel.hfa>
@@ -121 +123 @@
 // Local Variables: //
 // tab-width: 4 //
-// compile-command: "cfa boundedBufferINT.c" //
+// compile-command: "cfa boundedBufferINT.cfa" //
 // End: //