diff --git a/bin/lustre-mt/test_omp/exemple/multicore.lus b/bin/lustre-mt/test_omp/exemple/multicore.lus index 32a0ca5349d552b3ed1e08ce4d2ca2b3ce6c0767..85adb21b316228e9fcd8ee92d274aec19afe635b 100644 --- a/bin/lustre-mt/test_omp/exemple/multicore.lus +++ b/bin/lustre-mt/test_omp/exemple/multicore.lus @@ -15,7 +15,7 @@ node B( b: bool; ) returns ( x: bool; - r: real; + r: real; ); var pr: real; let @@ -24,11 +24,16 @@ let x = false -> (r > 0.0); tel +node CC(r:real) returns (o:real); +let + o = (0.0 -> pre o) + r; +tel + node C(i: int; w: wiz) returns (x: bool; o: real); var r: real; let r = (w.bt[0] - w.bt[1]); - o = (0.0 -> pre o) + r; + o = CC(r); -- a mettre dans un noeud (nommé CC) pour pouvoir mettre en // x = (r >= 42.0); tel @@ -50,7 +55,7 @@ var cc: real; r1, r2: real; let - wa = A(win); + wa = A(win); btb,r1 = B(win, bt); bto,r2 = B(wa, btb); xo,cc = C(ii, wa);