acw/focus-triggers
main
|
Last change
on this file since 5a822ff was 5a822ff, checked in by Stephen Siegel <siegel@…>, 2 days ago |
|
Allow a program that includes mpi.h to never use MPI. Before an error
was reported because MPI_Finalize was not called, but that was not fair
since MPI_Init() was never called (nor any other MPI function). Also
inserted a TODO comment in th MPI transformer about how to check that
the user has specified some upper bound on the number of MPI processes.
|
-
Property mode
set to
100644
|
|
File size:
96 bytes
|
| Line | |
|---|
| 1 | #include <mpi.h>
|
|---|
| 2 |
|
|---|
| 3 | $input int _mpi_nprocs_hi= 2;
|
|---|
| 4 | //$assume(_mpi_nprocs==1);
|
|---|
| 5 |
|
|---|
| 6 | int main(void) {
|
|---|
| 7 |
|
|---|
| 8 | }
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
