2.0
acw/focus-triggers
main
|
Last change
on this file since 4cf677d was a1fbf85, checked in by Stephen Siegel <siegel@…>, 7 days ago |
|
Finished support of complex numbers for MPI, including reductions.
Started new approach to "apply". Trying to get rid of the $apply
system function and replace with pure CIVL-C.
Added more complex number tests, including for MPI.
|
-
Property mode
set to
100644
|
|
File size:
254 bytes
|
| Line | |
|---|
| 1 | #include <civlc.cvh>
|
|---|
| 2 | #include <stdlib.h>
|
|---|
| 3 |
|
|---|
| 4 | $input int sel;
|
|---|
| 5 |
|
|---|
| 6 | int main(void) {
|
|---|
| 7 | $assume(sel == 0 || sel == 1);
|
|---|
| 8 | double *p[2];
|
|---|
| 9 | p[0] = malloc(sizeof(double));
|
|---|
| 10 | p[1] = malloc(sizeof(double));
|
|---|
| 11 | p[sel][0] = 1.0;
|
|---|
| 12 | free(p[0]);
|
|---|
| 13 | free(p[1]);
|
|---|
| 14 | }
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
