Changes between Version 1 and Version 2 of Pointers

Timestamp:

07/11/13 13:30:39 (13 years ago)

Author:

siegel

Comment:

--

Pointers

@@ -189 +189 @@
 
 {{{
+
+$int nprocs;
+$assume nprocs >= 1;
+
 void MPI_proc(int pid) {
   $scope proc_scope;
@@ -197 +201 @@
 }
 
-void main(int nprocs) {
+void main() {
   $proc procs[nprocs];