Add some test file in the git project, and that were taken into

account into the expected output of the non-reg tests.

src/test/should_fail/clock/bad_call02.lus

+
+-- clock checking of predefined ops
+
+node bad_call02(a:int; c:bool) returns (x : int);
+let
+	x = a when c;
+tel 

src/test/should_fail/clock/inonout.lus

+
+-- we cannot have an input clocked on an output
+extern node inOnOut( a : bool; b : bool when c ) returns (c : bool);

src/test/should_work/call/bad_call03.lus

+-- Well, this one is acceptable after all...
+
+node toto = map<<+,  3>>;
+
+node titi(c,d:real^3)returns(y:real^3);
+let
+  y = toto(c,d);
+tel
+
+node bad_call03(a,b:int^3; c,d:real^3) returns (x : int^3; y:real^3);
+let
+
+  x = toto(a,b);
+  y = toto(c,d);
+tel

src/test/should_work/clock/when_enum.lus

+
+
+type t = enum {A,  B,  C};
+
+node clock(a : t ; b,  c: bool) returns (x: bool when a; y: bool when a);
+
+let 
+  -- We should accet that!
+  (x, y) = toto(b when tutu(a), c when A(a));
+
+tel
+
+
+extern node toto(u: bool; v: bool) returns (x: bool; y: bool);
+extern node tutu(u: bool) returns (x: bool);
+

src/test/should_work/clock/when_node.lus

+
+node clock(a, b,  c: bool) returns (x: bool when a; y: bool when a);
+
+let 
+  -- XXX should we accept that ?
+  (x, y) = toto(b when tutu(a), c when tutu(a));
+
+tel
+
+
+extern node toto(u: bool; v: bool) returns (x: bool; y: bool);
+extern node tutu(u: bool) returns (x: bool);
+

src/test/should_work/clock/when_not.lus

+
+
+node clock(a: bool; b: bool) returns (c: bool; d: bool when c);
+
+let 
+  -- XXX should we accept that ?
+  (c, d) = clock4(a, b when not(a));
+
+tel
+
+
+-- Entree sur entree et sortie sur sortie:  ok
+extern node clock4(clock4_u: bool; clock4_v: bool when clock4_u) 
+returns (clock4_x: bool; clock4_y: bool when clock4_x);
+

src/test/should_work/clock/when_tuple.lus

+
+node clock(a, b,  c: bool) returns (x: bool when a; y: bool when a);
+
+let 
+  -- XXX should we accept that ?
+  (x, y) = toto((b, c) when a);
+
+tel
+
+
+extern node toto(u: bool; v: bool) returns (x: bool; y: bool);
+