Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity

testing clock unification

Browse Source
This commit is contained in:
Antoine Grimod 2022-12-16 14:51:39 +01:00
parent ed54fd0114
commit aa84a07902
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/test2.node
View File

@ -2,3 +2,12 @@ node main (i: int) returns (o1: int);
let
o1 = 10 -> pre (20 -> 30);
tel
node flipflop(i: int) returns (z: int);
var x, y: int; c: bool;
let
c = true fby (not c);
x = 1 on c;
y = 2 on (not c);
z = merge c x y;
tel