From aa84a079025ab06fb484646328c3d67d421e52c1 Mon Sep 17 00:00:00 2001
From: Antoine Grimod <antoine.grimod@gmail.com>
Date: Fri, 16 Dec 2022 14:51:39 +0100
Subject: [PATCH] testing clock unification

---
 src/test2.node | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/test2.node b/src/test2.node
index 2116ba7..3598f37 100644
--- a/src/test2.node
+++ b/src/test2.node
@@ -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