diff --git a/src/TODO b/src/TODO
index 0479905eaed2f617f226efd3854b319a12ed52a1..ce75d69282909faa79105da2bf87db509f4d19d1 100644
--- a/src/TODO
+++ b/src/TODO
@@ -136,8 +136,8 @@ n'est pas le cas pour l'instant...
*** facile
-* alias sur les node polymorphes impossible. Pourtant, ca devrait
-pouvoir marcher.
+* verifier que chacun des exemples du repertoire "should_fail" échoue
+avec un bon message d'erreur.
* mettre les operateurs temporels dans Predef ???
diff --git a/src/global.ml b/src/global.ml
index 76fa37dd6310cb48cfa3f79e1191c7a66bba47d9..473d31a22d37f58208e5eaa14176c30917d1db84 100644
--- a/src/global.ml
+++ b/src/global.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 30/05/2008 (at 17:19) by Erwan Jahier> *)
+(** Time-stamp: <modified the 09/06/2008 (at 11:05) by Erwan Jahier> *)
(** Some global variables.
@@ -28,7 +28,8 @@ let add_infile file_name =
let lexbuf_of_file_name file =
let inchannel =
- Verbose.print_string ~level:1 ("Opening file " ^ (Sys.getcwd ()) ^ file ^ "\n");
+ Verbose.print_string ~level:1
+ ("Opening file " ^ (Filename.concat (Sys.getcwd ()) file) ^ "\n");
open_in file
in
line_num := 1;
diff --git a/src/test/Makefile b/src/test/Makefile
index b8d609fd32746d03686632dcb60aa163f3a9a831..097c6587d98bfacc82a58d79658f57f5f6f5aaee 100644
--- a/src/test/Makefile
+++ b/src/test/Makefile
@@ -1,5 +1,5 @@
LC0=../lus2lic
-LC=../lus2lic -vl 3 --compile-all-items
+LC=../lus2lic -vl 2 --compile-all-items
LC2=../lus2lic --compile-all-items
NL="----------------------------------------------------------------------\\n"
diff --git a/src/test/test.res.exp b/src/test/test.res.exp
index 7e159c9872a7bf63a28c8768fd7523442a68b78e..dc5fbb46385d8754a0aa307b190a054922b5e2e6 100644
--- a/src/test/test.res.exp
+++ b/src/test/test.res.exp
@@ -1,28 +1,8 @@
Non-regression tests
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/CURRENT.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/CURRENT.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack CURRENT
- export node CURRENT
-*** SyntaxTab.create pass 3
- init symbol tables for pack CURRENT
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- CURRENT (pack)
-
- - Raw model table:
- - Raw Package table: CURRENT
- - Package manager table: CURRENT
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package CURRENT
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/CURRENT.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/CURRENT.lus
node CURRENT__CURRENT(x:bool; y:bool when x) returns (z:bool when x);
let
z = y;
@@ -30,40 +10,11 @@ tel
-- end of node CURRENT__CURRENT
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/Int.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/Int.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack mainPack
- export node Nat
- init pack Int8
- export type Int
- export const zero
- export node incr
- export node add
- export const n
-*** SyntaxTab.create pass 3
- init symbol tables for pack mainPack
- init symbol tables for pack Int8
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- Int (model)
- Int8 (pack)
- mainPack (pack)
-
- - Raw model table: Int
- - Raw Package table: mainPack Int8
- - Package manager table: mainPack Int8
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package Int8
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/Int.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/Int.lus
const Int8__n = 8;
type Int8__Int = bool^8;
- Exported constants:
const Int8__zero = [false, false, false, false, false, false, false, false];
- Exported nodes:
function Int8__fulladd(
ci:bool;
@@ -91,10 +42,6 @@ let
(co, sum) = fillred<<node Int8__fulladd, const 8>>(false, x, y);
tel
-- end of node Int8__add
- * package mainPack
- Exported types:
- Exported constants:
- Exported nodes:
node mainPack__Nat(evt:bool; reset:bool) returns (nat:Int8__Int);
let
nat = if (true -> reset) then (Int8::zero) else ( if (evt) then
@@ -103,28 +50,8 @@ tel
-- end of node mainPack__Nat
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/PCOND.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/PCOND.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack PCOND
- export node PCOND
-*** SyntaxTab.create pass 3
- init symbol tables for pack PCOND
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- PCOND (pack)
-
- - Raw model table:
- - Raw Package table: PCOND
- - Package manager table: PCOND
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package PCOND
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/PCOND.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/PCOND.lus
node PCOND__PCOND(
h0:bool;
@@ -148,28 +75,8 @@ tel
-- end of node PCOND__PCOND
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/PCOND1.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/PCOND1.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack PCOND1
- export node PCOND1
-*** SyntaxTab.create pass 3
- init symbol tables for pack PCOND1
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- PCOND1 (pack)
-
- - Raw model table:
- - Raw Package table: PCOND1
- - Package manager table: PCOND1
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package PCOND1
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/PCOND1.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/PCOND1.lus
node PCOND1__PCOND1(
h0:bool;
@@ -189,28 +96,8 @@ tel
-- end of node PCOND1__PCOND1
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/SOURIS.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/SOURIS.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack SOURIS
- export node SOURIS
-*** SyntaxTab.create pass 3
- init symbol tables for pack SOURIS
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- SOURIS (pack)
-
- - Raw model table:
- - Raw Package table: SOURIS
- - Package manager table: SOURIS
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package SOURIS
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/SOURIS.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/SOURIS.lus
node SOURIS__SOURIS(
B1:bool;
@@ -281,82 +168,8 @@ tel
-- end of node SOURIS__SOURIS
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/Watch.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/Watch.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack Watch
- export type STATUS_TYPE
- export type ALARM_TIME_TYPE
- export type ALARM_TIME_POSITION
- export type WATCH_TIME_POSITION
- export type DISPLAY_TYPE
- export type WATCH_TIME_TYPE
- export type STOPWATCH_TIME_TYPE
- export type MAIN_DISPLAY_TYPE
- export type LABELS_TYPE
- export type DISPLAY_POSITION
- export type MINI_DISPLAY_TYPE
- export type string
- export const INITIAL_WATCH_POSITION
- export const INITIAL_WATCH_TIME
- export const ALARM_DURATION
- export const stringAL
- export const stringST
- export const INITIAL_ALARM_POSITION
- export const INITIAL_ALARM_TIME
- export const NULL_POSITION
- export const INITIAL_STOPWATCH_TIME
- export node ALARM_TO_DISPLAY_POS
- export node DIVIDE
- export node TWO_STATES
- export node INCREMENT_STOPWATCH_TIME
- export node Watch
- export node WATCH_TIME_TO_MAIN_DISPLAY
- export node IS_ZERO_MOD_10_MN
- export node MAKE_DISPLAY
- export node TOGGLE_24H_IN_ALARM_MODE
- export node SET_WATCH_TIME
- export node STOPWATCH
- export node TIME_SCALE
- export node SET_ALARM_TIME
- export node LABELS
- export node WATCH_DATE_TO_MINI_DISPLAY
- export node IS_O_CLOCK
- export node STOPWATCH_TIME_TO_MAIN_DISPLAY
- export node INCREMENT_WATCH_TIME_IN_SET_MODE
- export node ALARM_TIME_TO_MAIN_DISPLAY
- export node MORE_RECENT
- export node WATCH
- export node NEXT_ALARM_TIME_POSITION
- export node NEXT_WATCH_TIME_POSITION
- export node WATCH_TO_DISPLAY_POS
- export node TOGGLE_24H_IN_WATCH_MODE
- export node SOMME
- export node DISPLAY
- export node EDGE
- export node COMPARE_WATCH_ALARM_TIME
- export node STATUS
- export node WATCH_TIME_TO_MINI_DISPLAY
- export node CONFIRM_TIME
- export node INCREMENT_WATCH_TIME
- export node BUTTONS
- export node WATCH_DAY_TO_ALPHA_DISPLAY
- export node ALARM
-*** SyntaxTab.create pass 3
- init symbol tables for pack Watch
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- Watch (pack)
-
- - Raw model table:
- - Raw Package table: Watch
- - Package manager table: Watch
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package Watch
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/Watch.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/Watch.lus
type Watch__STATUS_TYPE;
type Watch__ALARM_TIME_TYPE;
type Watch__WATCH_TIME_POSITION;
@@ -369,7 +182,6 @@ type Watch__LABELS_TYPE;
type Watch__DISPLAY_POSITION;
type Watch__MINI_DISPLAY_TYPE;
type Watch__string;
- Exported constants:
const Watch__INITIAL_WATCH_POSITION:Watch__WATCH_TIME_POSITION;
const Watch__INITIAL_WATCH_TIME:Watch__WATCH_TIME_TYPE;
const Watch__ALARM_DURATION:int;
@@ -379,7 +191,6 @@ const Watch__INITIAL_ALARM_TIME:Watch__ALARM_TIME_TYPE;
const Watch__INITIAL_ALARM_POSITION:Watch__ALARM_TIME_POSITION;
const Watch__NULL_POSITION:Watch__DISPLAY_POSITION;
const Watch__INITIAL_STOPWATCH_TIME:Watch__STOPWATCH_TIME_TYPE;
- Exported nodes:
extern function Watch__ALARM_TO_DISPLAY_POS(
apos:Watch__ALARM_TIME_POSITION)
@@ -819,28 +630,8 @@ tel
-- end of node Watch__MORE_RECENT
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/X.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/X.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack X
- export node X
-*** SyntaxTab.create pass 3
- init symbol tables for pack X
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- X (pack)
-
- - Raw model table:
- - Raw Package table: X
- - Package manager table: X
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package X
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/X.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/X.lus
node X__X(
c:bool;
@@ -857,28 +648,8 @@ tel
-- end of node X__X
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/X1.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/X1.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack X1
- export node X1
-*** SyntaxTab.create pass 3
- init symbol tables for pack X1
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- X1 (pack)
-
- - Raw model table:
- - Raw Package table: X1
- - Package manager table: X1
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package X1
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/X1.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/X1.lus
node X1__X1(b:bool; n:int) returns (m:int);
let
m = current (n when b);
@@ -886,28 +657,8 @@ tel
-- end of node X1__X1
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/X2.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/X2.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack X2
- export node X2
-*** SyntaxTab.create pass 3
- init symbol tables for pack X2
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- X2 (pack)
-
- - Raw model table:
- - Raw Package table: X2
- - Package manager table: X2
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package X2
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/X2.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/X2.lus
node X2__X2(b:bool; n:int) returns (m:int);
let
m = 0 -> current (n when b);
@@ -915,28 +666,8 @@ tel
-- end of node X2__X2
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/X3.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/X3.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack X3
- export node X3
-*** SyntaxTab.create pass 3
- init symbol tables for pack X3
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- X3 (pack)
-
- - Raw model table:
- - Raw Package table: X3
- - Package manager table: X3
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package X3
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/X3.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/X3.lus
node X3__X3(n:int; b:bool) returns (m:int);
var
c:bool when b;
@@ -957,28 +688,8 @@ tel
-- end of node X3__X3
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/X6.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/X6.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack X6
- export node X6
-*** SyntaxTab.create pass 3
- init symbol tables for pack X6
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- X6 (pack)
-
- - Raw model table:
- - Raw Package table: X6
- - Package manager table: X6
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package X6
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/X6.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/X6.lus
node X6__X6(
n:int;
@@ -1003,28 +714,8 @@ tel
-- end of node X6__X6
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/_N_uu.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/_N_uu.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack _N_uu
- export node _N_uu
-*** SyntaxTab.create pass 3
- init symbol tables for pack _N_uu
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- _N_uu (pack)
-
- - Raw model table:
- - Raw Package table: _N_uu
- - Package manager table: _N_uu
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package _N_uu
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/_N_uu.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/_N_uu.lus
node _N_uu___N_uu(I_x:bool; I_y:bool; I_z:bool) returns (O_a:bool);
var
V_V135_A_forbiden:bool;
@@ -1057,28 +748,8 @@ tel
-- end of node _N_uu___N_uu
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/activation_ec.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/activation_ec.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack activation_ec
- export node activation_ec
-*** SyntaxTab.create pass 3
- init symbol tables for pack activation_ec
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- activation_ec (pack)
-
- - Raw model table:
- - Raw Package table: activation_ec
- - Package manager table: activation_ec
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package activation_ec
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/activation_ec.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/activation_ec.lus
node activation_ec__activation_ec(evt:bool) returns (scie:int);
var
V10_go_up:bool;
@@ -1091,28 +762,8 @@ tel
-- end of node activation_ec__activation_ec
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/after.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/after.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack after
- export node after
-*** SyntaxTab.create pass 3
- init symbol tables for pack after
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- after (pack)
-
- - Raw model table:
- - Raw Package table: after
- - Package manager table: after
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package after
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/after.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/after.lus
node after__after(x:bool) returns (after:bool);
let
after = (x or false -> pre(after));
@@ -1120,37 +771,11 @@ tel
-- end of node after__after
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/alarme.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/alarme.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack alarme
- export const delai_reprise
- export const delai_vigilence
- export const delai_alarme
- export node edge
- export node alarme
- export node bascule
- export node decompte
-*** SyntaxTab.create pass 3
- init symbol tables for pack alarme
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- alarme (pack)
-
- - Raw model table:
- - Raw Package table: alarme
- - Package manager table: alarme
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package alarme
- Exported types:
- Exported constants:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/alarme.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/alarme.lus
const alarme__delai_reprise = 4;
const alarme__delai_vigilence = 3;
const alarme__delai_alarme = 6;
- Exported nodes:
node alarme__edge(in:bool) returns (edge:bool);
let
edge = false -> (in and not(pre(in)));
@@ -1219,32 +844,8 @@ tel
-- end of node alarme__alarme
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/arbitre.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/arbitre.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack arbitre
- export node mutex
- export node process
- export node my_switch
- export node xedge
- export node arbitre
-*** SyntaxTab.create pass 3
- init symbol tables for pack arbitre
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- arbitre (pack)
-
- - Raw model table:
- - Raw Package table: arbitre
- - Package manager table: arbitre
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package arbitre
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/arbitre.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/arbitre.lus
node arbitre__my_switch(
set:bool;
@@ -1323,28 +924,8 @@ tel
-- end of node arbitre__arbitre
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/argos.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/argos.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack argos
- export node argos
-*** SyntaxTab.create pass 3
- init symbol tables for pack argos
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- argos (pack)
-
- - Raw model table:
- - Raw Package table: argos
- - Package manager table: argos
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package argos
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/argos.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/argos.lus
node argos__argos(a:bool; b:bool) returns (s0:bool; s1:bool; s2:bool);
var
t0:bool;
@@ -1363,28 +944,8 @@ tel
-- end of node argos__argos
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/assertion.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/assertion.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack assertion
- export node assertion
-*** SyntaxTab.create pass 3
- init symbol tables for pack assertion
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- assertion (pack)
-
- - Raw model table:
- - Raw Package table: assertion
- - Package manager table: assertion
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package assertion
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/assertion.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/assertion.lus
node assertion__assertion(
a:bool;
@@ -1403,28 +964,8 @@ tel
-- end of node assertion__assertion
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/aux.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/aux.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack aux
- export node aux
-*** SyntaxTab.create pass 3
- init symbol tables for pack aux
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- aux (pack)
-
- - Raw model table:
- - Raw Package table: aux
- - Package manager table: aux
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package aux
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/aux.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/aux.lus
node aux__aux(ck:bool) returns (x:int);
let
x = (pre(x) + 1);
@@ -1432,28 +973,8 @@ tel
-- end of node aux__aux
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/aux1.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/aux1.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack aux1
- export node aux1
-*** SyntaxTab.create pass 3
- init symbol tables for pack aux1
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- aux1 (pack)
-
- - Raw model table:
- - Raw Package table: aux1
- - Package manager table: aux1
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package aux1
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/aux1.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/aux1.lus
node aux1__aux1(a:int; b:int) returns (c:int; d:int);
let
(c, d) = if ((a > 0)) then (pre((a, b))) else (((pre(a) + 1), (pre(b) +
@@ -1462,28 +983,8 @@ tel
-- end of node aux1__aux1
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/bascule.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/bascule.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack bascule
- export node bascule
-*** SyntaxTab.create pass 3
- init symbol tables for pack bascule
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- bascule (pack)
-
- - Raw model table:
- - Raw Package table: bascule
- - Package manager table: bascule
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package bascule
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/bascule.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/bascule.lus
node bascule__bascule(r:bool; s:bool) returns (q:bool; n:bool);
let
q = true -> (not(pre(r)) and not(pre(n)));
@@ -1492,31 +993,8 @@ tel
-- end of node bascule__bascule
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/call.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/call.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack call
- export node f
- export node n
- export node p
- export node call
-*** SyntaxTab.create pass 3
- init symbol tables for pack call
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- call (pack)
-
- - Raw model table:
- - Raw Package table: call
- - Package manager table: call
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package call
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/call.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/call.lus
extern function call__f(a:int) returns (b:int);
node call__n(a:int; b:bool) returns (x:int; y:int);
let
@@ -1535,28 +1013,8 @@ tel
-- end of node call__call
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/ck2.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ck2.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack ck2
- export node ck2
-*** SyntaxTab.create pass 3
- init symbol tables for pack ck2
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- ck2 (pack)
-
- - Raw model table:
- - Raw Package table: ck2
- - Package manager table: ck2
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package ck2
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/ck2.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/ck2.lus
node ck2__ck2(
c:bool;
@@ -1570,28 +1028,8 @@ tel
-- end of node ck2__ck2
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/ck3.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ck3.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack ck3
- export node ck3
-*** SyntaxTab.create pass 3
- init symbol tables for pack ck3
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- ck3 (pack)
-
- - Raw model table:
- - Raw Package table: ck3
- - Package manager table: ck3
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package ck3
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/ck3.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/ck3.lus
node ck3__ck3(
a:bool;
@@ -1605,28 +1043,8 @@ tel
-- end of node ck3__ck3
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/ck4.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ck4.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack ck4
- export node ck4
-*** SyntaxTab.create pass 3
- init symbol tables for pack ck4
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- ck4 (pack)
-
- - Raw model table:
- - Raw Package table: ck4
- - Package manager table: ck4
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package ck4
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/ck4.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/ck4.lus
node ck4__ck4(a:int when b; b:bool) returns (c:int);
let
c = current (a);
@@ -1634,29 +1052,8 @@ tel
-- end of node ck4__ck4
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/ck5.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ck5.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack ck5
- export node edge
- export node ck5
-*** SyntaxTab.create pass 3
- init symbol tables for pack ck5
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- ck5 (pack)
-
- - Raw model table:
- - Raw Package table: ck5
- - Package manager table: ck5
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package ck5
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/ck5.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/ck5.lus
node ck5__edge(x:bool) returns (y:bool);
let
y = false -> (x and not(pre(x)));
@@ -1669,30 +1066,8 @@ tel
-- end of node ck5__ck5
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/ck6.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ck6.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack ck6
- export node p
- export node ck6
- export node N
-*** SyntaxTab.create pass 3
- init symbol tables for pack ck6
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- ck6 (pack)
-
- - Raw model table:
- - Raw Package table: ck6
- - Package manager table: ck6
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package ck6
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/ck6.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/ck6.lus
extern function ck6__p(d:int) returns (e:int; f:int);
node ck6__N(a:bool; m:int; n:int) returns (q:int; r:int when a);
let
@@ -1717,28 +1092,8 @@ tel
-- end of node ck6__ck6
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/ck7.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ck7.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack ck7
- export node ck7
-*** SyntaxTab.create pass 3
- init symbol tables for pack ck7
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- ck7 (pack)
-
- - Raw model table:
- - Raw Package table: ck7
- - Package manager table: ck7
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package ck7
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/ck7.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/ck7.lus
node ck7__ck7(a:bool; m:int; n:int) returns (q:int; r:int when a);
let
q = (m + n);
@@ -1747,32 +1102,8 @@ tel
-- end of node ck7__ck7
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/clock.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/clock.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack clock
- export node outOnIn
- export node clock
- export node outOnOut
- export node inOnIn
- export node all
-*** SyntaxTab.create pass 3
- init symbol tables for pack clock
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- clock (pack)
-
- - Raw model table:
- - Raw Package table: clock
- - Package manager table: clock
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package clock
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/clock.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/clock.lus
extern node clock__outOnIn(a:bool; b:bool) returns (c:bool when b);
extern node clock__inOnIn(a:bool; b:bool when a) returns (c:bool);
@@ -1811,30 +1142,8 @@ tel
-- end of node clock__clock
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/cminus.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/cminus.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack cminus
- export node TWO_STATES
- export node TWO_BUTTONS
- export node cminus
-*** SyntaxTab.create pass 3
- init symbol tables for pack cminus
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- cminus (pack)
-
- - Raw model table:
- - Raw Package table: cminus
- - Package manager table: cminus
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package cminus
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/cminus.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/cminus.lus
node cminus__TWO_STATES(
set:bool;
@@ -1879,28 +1188,8 @@ tel
-- end of node cminus__cminus
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/compteur.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/compteur.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack compteur
- export node compteur
-*** SyntaxTab.create pass 3
- init symbol tables for pack compteur
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- compteur (pack)
-
- - Raw model table:
- - Raw Package table: compteur
- - Package manager table: compteur
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package compteur
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/compteur.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/compteur.lus
node compteur__compteur(evt:bool) returns (cpt:int);
let
cpt = (0 -> pre(cpt) + if (evt) then (1) else (0));
@@ -1908,28 +1197,8 @@ tel
-- end of node compteur__compteur
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/cpt.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/cpt.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack cpt
- export node cpt
-*** SyntaxTab.create pass 3
- init symbol tables for pack cpt
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- cpt (pack)
-
- - Raw model table:
- - Raw Package table: cpt
- - Package manager table: cpt
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package cpt
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/cpt.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/cpt.lus
node cpt__cpt(evt:bool; reset:bool) returns (cpt:int);
let
cpt = if (reset) then (0) else ((0 -> pre(cpt) + if (evt) then (1) else
@@ -1938,34 +1207,11 @@ tel
-- end of node cpt__cpt
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/cst.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/cst.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack cst
- export const i
- export const j
- export const k
- export node cst
-*** SyntaxTab.create pass 3
- init symbol tables for pack cst
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- cst (pack)
-
- - Raw model table:
- - Raw Package table: cst
- - Package manager table: cst
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package cst
- Exported types:
- Exported constants:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/cst.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/cst.lus
const cst__i:int;
const cst__j:int;
const cst__k:int;
- Exported nodes:
node cst__cst(x:int) returns (y:int);
var
z:int;
@@ -1978,39 +1224,12 @@ tel
-- end of node cst__cst
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/deconne.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/deconne.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack deconne
- export type pendule
- export const G
- export const L
- export const T
- export node make_pend
- export node cos
- export node sin
- export node deconne
-*** SyntaxTab.create pass 3
- init symbol tables for pack deconne
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- deconne (pack)
-
- - Raw model table:
- - Raw Package table: deconne
- - Package manager table: deconne
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package deconne
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/deconne.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/deconne.lus
type deconne__pendule;
- Exported constants:
const deconne__G = 10.000000;
const deconne__L = 2.000000;
const deconne__T = 0.100000;
- Exported nodes:
extern function deconne__make_pend(
x0:real;
@@ -2039,28 +1258,8 @@ tel
-- end of node deconne__deconne
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/dep.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/dep.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack dep
- export node dep
-*** SyntaxTab.create pass 3
- init symbol tables for pack dep
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- dep (pack)
-
- - Raw model table:
- - Raw Package table: dep
- - Package manager table: dep
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package dep
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/dep.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/dep.lus
node dep__dep(x:int) returns (u:int; v:int; y:int);
let
u = x -> (x + pre(x));
@@ -2070,28 +1269,8 @@ tel
-- end of node dep__dep
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/dependeur.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/dependeur.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack dependeur
- export node dependeur
-*** SyntaxTab.create pass 3
- init symbol tables for pack dependeur
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- dependeur (pack)
-
- - Raw model table:
- - Raw Package table: dependeur
- - Package manager table: dependeur
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package dependeur
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/dependeur.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/dependeur.lus
node dependeur__dependeur(
time_in_ms:int)
@@ -2114,30 +1293,9 @@ tel
-- end of node dependeur__dependeur
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/dependeur_struct.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/dependeur_struct.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack dependeur_struct
- export type time
- export node dependeur_struct
-*** SyntaxTab.create pass 3
- init symbol tables for pack dependeur_struct
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- dependeur_struct (pack)
-
- - Raw model table:
- - Raw Package table: dependeur_struct
- - Package manager table: dependeur_struct
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package dependeur_struct
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/dependeur_struct.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/dependeur_struct.lus
type dependeur_struct__time = dependeur_struct::time {h : int; m : int; s : int; ms : int};
- Exported constants:
- Exported nodes:
node dependeur_struct__dependeur_struct(
time_in_ms:int)
@@ -2160,28 +1318,8 @@ tel
-- end of node dependeur_struct__dependeur_struct
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/drapfab.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/drapfab.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack drapfab
- export node drapfab
-*** SyntaxTab.create pass 3
- init symbol tables for pack drapfab
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- drapfab (pack)
-
- - Raw model table:
- - Raw Package table: drapfab
- - Package manager table: drapfab
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package drapfab
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/drapfab.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/drapfab.lus
node drapfab__drapfab(
bleu:bool;
@@ -2209,44 +1347,16 @@ tel
-- end of node drapfab__drapfab
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/enum.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/enum.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack enum
- export enum const blue
- export enum const white
- export enum const redd
- export type color
- export enum const bleu
- export enum const blanc
- export enum const rouge
- export type couleur
- export node boo
-*** SyntaxTab.create pass 3
- init symbol tables for pack enum
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- enum (pack)
-
- - Raw model table:
- - Raw Package table: enum
- - Package manager table: enum
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package enum
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/enum.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/enum.lus
type enum__couleur = enum {enum__bleu, enum__blanc, enum__rouge};
type enum__color = enum {enum__blue, enum__white, enum__redd};
- Exported constants:
const enum__bleu;
const enum__blanc;
const enum__redd;
const enum__rouge;
const enum__blue;
const enum__white;
- Exported nodes:
node enum__boo(
e:int)
@@ -2262,28 +1372,8 @@ tel
-- end of node enum__boo
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/eq1.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/eq1.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack eq1
- export node eq1
-*** SyntaxTab.create pass 3
- init symbol tables for pack eq1
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- eq1 (pack)
-
- - Raw model table:
- - Raw Package table: eq1
- - Package manager table: eq1
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package eq1
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/eq1.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/eq1.lus
node eq1__eq1(
a:bool;
@@ -2306,38 +1396,13 @@ tel
-- end of node eq1__eq1
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/ex.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ex.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack ex
- export type t1
- export type t2
- export type s
- export type t
- export type s1
- export node ex
-*** SyntaxTab.create pass 3
- init symbol tables for pack ex
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- ex (pack)
-
- - Raw model table:
- - Raw Package table: ex
- - Package manager table: ex
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package ex
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/ex.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/ex.lus
type ex__t = int^1^2^3^4;
type ex__t1 = int^1^2^3^4^4;
type ex__t2 = ex::t2 {a : int; b : bool^11^22};
type ex__s1 = ex::s1 {x : int; y : int^1^2^3^4};
type ex__s = ex::s {x : int^1^2^3^4; y : ex::s1 {x : int; y : int^1^2^3^4}};
- Exported constants:
- Exported nodes:
node ex__ex(
a:ex::s {x : int^1^2^3^4;
@@ -2351,28 +1416,8 @@ tel
-- end of node ex__ex
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/exclusion.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/exclusion.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack exclusion
- export node exclusion
-*** SyntaxTab.create pass 3
- init symbol tables for pack exclusion
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- exclusion (pack)
-
- - Raw model table:
- - Raw Package table: exclusion
- - Package manager table: exclusion
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package exclusion
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/exclusion.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/exclusion.lus
node exclusion__exclusion(
a:bool;
@@ -2395,28 +1440,8 @@ tel
-- end of node exclusion__exclusion
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/fby.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/fby.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack fby
- export node followed_by
-*** SyntaxTab.create pass 3
- init symbol tables for pack fby
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- fby (pack)
-
- - Raw model table:
- - Raw Package table: fby
- - Package manager table: fby
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package fby
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/fby.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/fby.lus
node fby__followed_by(ck:bool) returns (x:int);
let
x = 0 -> (pre(x) + 1);
@@ -2424,29 +1449,8 @@ tel
-- end of node fby__followed_by
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/flo.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/flo.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack flo
- export node SWITCH
- export node flo
-*** SyntaxTab.create pass 3
- init symbol tables for pack flo
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- flo (pack)
-
- - Raw model table:
- - Raw Package table: flo
- - Package manager table: flo
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package flo
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/flo.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/flo.lus
node flo__SWITCH(init:bool; on:bool; off:bool) returns (state:bool);
let
state = if (on) then (true) else ( if (off) then (false) else (init ->
@@ -2469,36 +1473,8 @@ tel
-- end of node flo__flo
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/hanane.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/hanane.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack hanane
- export type structT
- export type t1
- export type t2
- export type t3
- export type tabStruct
- export type string2d
- export type string
- export const a
- export const b
- export const c
- export node hanane
-*** SyntaxTab.create pass 3
- init symbol tables for pack hanane
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- hanane (pack)
-
- - Raw model table:
- - Raw Package table: hanane
- - Package manager table: hanane
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package hanane
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/hanane.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/hanane.lus
type hanane__t1;
const hanane__a = 4;
type hanane__string = int^4;
@@ -2507,10 +1483,8 @@ type hanane__structT = hanane::structT {x : int; y : real; z : int^4^4^4};
type hanane__t2;
type hanane__t3;
type hanane__tabStruct = hanane::structT {x : int; y : real; z : int^4^4^4}^2;
- Exported constants:
const hanane__b = true;
const hanane__c = 3.140000;
- Exported nodes:
node hanane__hanane(
a1:bool;
@@ -2539,29 +1513,8 @@ tel
-- end of node hanane__hanane
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/import1.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/import1.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack import1
- export node import1
- export node imp
-*** SyntaxTab.create pass 3
- init symbol tables for pack import1
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- import1 (pack)
-
- - Raw model table:
- - Raw Package table: import1
- - Package manager table: import1
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package import1
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/import1.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/import1.lus
extern node import1__imp(x:int) returns (y:int);
node import1__import1(a:int; b:int) returns (c:int);
let
@@ -2570,28 +1523,8 @@ tel
-- end of node import1__import1
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/initial.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/initial.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack initial
- export node initial
-*** SyntaxTab.create pass 3
- init symbol tables for pack initial
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- initial (pack)
-
- - Raw model table:
- - Raw Package table: initial
- - Package manager table: initial
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package initial
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/initial.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/initial.lus
node initial__initial(justDoIt:bool) returns (oa:bool; ob:int; oc:real);
let
oa = false -> pre(oa);
@@ -2601,28 +1534,8 @@ tel
-- end of node initial__initial
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/long_et_stupide_nom_de_noeud.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/long_et_stupide_nom_de_noeud.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack long_et_stupide_nom_de_noeud
- export node long_et_stupide_nom_de_noeud
-*** SyntaxTab.create pass 3
- init symbol tables for pack long_et_stupide_nom_de_noeud
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- long_et_stupide_nom_de_noeud (pack)
-
- - Raw model table:
- - Raw Package table: long_et_stupide_nom_de_noeud
- - Package manager table: long_et_stupide_nom_de_noeud
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package long_et_stupide_nom_de_noeud
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/long_et_stupide_nom_de_noeud.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/long_et_stupide_nom_de_noeud.lus
node long_et_stupide_nom_de_noeud__long_et_stupide_nom_de_noeud(
long_parametre:int)
@@ -2634,28 +1547,8 @@ tel
-- end of node long_et_stupide_nom_de_noeud__long_et_stupide_nom_de_noeud
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/minmax1.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax1.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack minmax1
- export node minmax1
-*** SyntaxTab.create pass 3
- init symbol tables for pack minmax1
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- minmax1 (pack)
-
- - Raw model table:
- - Raw Package table: minmax1
- - Package manager table: minmax1
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package minmax1
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/minmax1.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/minmax1.lus
node minmax1__minmax1(a:int; b:int) returns (min:int; max:int);
let
(min, max) = if ((a < b)) then ((a, b)) else ((b, a));
@@ -2663,29 +1556,8 @@ tel
-- end of node minmax1__minmax1
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/minmax2.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax2.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack minmax2
- export node minmax2
- export node minmax
-*** SyntaxTab.create pass 3
- init symbol tables for pack minmax2
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- minmax2 (pack)
-
- - Raw model table:
- - Raw Package table: minmax2
- - Package manager table: minmax2
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package minmax2
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/minmax2.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/minmax2.lus
node minmax2__minmax(a:int; b:int) returns (min:int; max:int);
let
(min, max) = if ((a < b)) then ((a, b)) else ((b, a));
@@ -2698,29 +1570,8 @@ tel
-- end of node minmax2__minmax2
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/minmax3.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax3.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack minmax3
- export node minmax3
- export node minmax
-*** SyntaxTab.create pass 3
- init symbol tables for pack minmax3
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- minmax3 (pack)
-
- - Raw model table:
- - Raw Package table: minmax3
- - Package manager table: minmax3
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package minmax3
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/minmax3.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/minmax3.lus
node minmax3__minmax(a:int; b:int) returns (min:int; max:int);
let
(min, max) = if ((a <= b)) then ((a, b)) else ((b, a));
@@ -2747,29 +1598,8 @@ tel
-- end of node minmax3__minmax3
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/minmax4.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax4.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack minmax4
- export node minmax4
- export node minmax
-*** SyntaxTab.create pass 3
- init symbol tables for pack minmax4
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- minmax4 (pack)
-
- - Raw model table:
- - Raw Package table: minmax4
- - Package manager table: minmax4
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package minmax4
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/minmax4.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/minmax4.lus
node minmax4__minmax(a:int; b:int) returns (min:int; max:int);
let
(min, max) = if ((a <= b)) then ((a, b)) else ((b, a));
@@ -2803,29 +1633,8 @@ tel
-- end of node minmax4__minmax4
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/minmax4_bis.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax4_bis.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack minmax4_bis
- export node minmax4_bis
- export node minmax
-*** SyntaxTab.create pass 3
- init symbol tables for pack minmax4_bis
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- minmax4_bis (pack)
-
- - Raw model table:
- - Raw Package table: minmax4_bis
- - Package manager table: minmax4_bis
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package minmax4_bis
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/minmax4_bis.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/minmax4_bis.lus
node minmax4_bis__minmax(a:int; b:int) returns (min:int; max:int);
let
(min, max) = if ((a <= b)) then ((a, b)) else ((b, a));
@@ -2859,29 +1668,8 @@ tel
-- end of node minmax4_bis__minmax4_bis
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/minmax5.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax5.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack minmax5
- export node minmax5
- export node minmax
-*** SyntaxTab.create pass 3
- init symbol tables for pack minmax5
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- minmax5 (pack)
-
- - Raw model table:
- - Raw Package table: minmax5
- - Package manager table: minmax5
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package minmax5
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/minmax5.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/minmax5.lus
extern function minmax5__minmax(a:int; b:int) returns (min:int; max:int);
node minmax5__minmax5(
@@ -2911,29 +1699,8 @@ tel
-- end of node minmax5__minmax5
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/minmax5_random.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax5_random.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack minmax5_random
- export node minmax5_random
- export node minmax
-*** SyntaxTab.create pass 3
- init symbol tables for pack minmax5_random
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- minmax5_random (pack)
-
- - Raw model table:
- - Raw Package table: minmax5_random
- - Package manager table: minmax5_random
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package minmax5_random
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/minmax5_random.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/minmax5_random.lus
extern function minmax5_random__minmax(
a:int;
@@ -2969,29 +1736,8 @@ tel
-- end of node minmax5_random__minmax5_random
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/minmax6.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax6.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack minmax6
- export node minmax6
- export node minmax
-*** SyntaxTab.create pass 3
- init symbol tables for pack minmax6
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- minmax6 (pack)
-
- - Raw model table:
- - Raw Package table: minmax6
- - Package manager table: minmax6
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package minmax6
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/minmax6.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/minmax6.lus
node minmax6__minmax(a:int; b:int) returns (min:int; max:int);
let
(min, max) = if ((a <= b)) then ((a, b)) else ((b, a));
@@ -3042,32 +1788,10 @@ tel
-- end of node minmax6__minmax6
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/mm.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mm.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack mm
- export type pairpair
- export type pair
- export node mm
-*** SyntaxTab.create pass 3
- init symbol tables for pack mm
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- mm (pack)
-
- - Raw model table:
- - Raw Package table: mm
- - Package manager table: mm
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package mm
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/mm.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/mm.lus
type mm__pair = mm::pair {a : int; b : int};
type mm__pairpair = mm::pairpair {a : mm::pair {a : int; b : int}; b : mm::pair {a : int; b : int}};
- Exported constants:
- Exported nodes:
node mm__mm(a:int; b:int) returns (min:int; max:int);
let
(min, max) = if ((a > b)) then ((b, a)) else ((a, b));
@@ -3075,32 +1799,10 @@ tel
-- end of node mm__mm
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/mm1.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mm1.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack mm1
- export type pairpair
- export type pair
- export node mm1
-*** SyntaxTab.create pass 3
- init symbol tables for pack mm1
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- mm1 (pack)
-
- - Raw model table:
- - Raw Package table: mm1
- - Package manager table: mm1
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package mm1
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/mm1.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/mm1.lus
type mm1__pair = mm1::pair {a : int; b : int};
type mm1__pairpair = mm1::pairpair {a : mm1::pair {a : int; b : int}; b : mm1::pair {a : int; b : int}};
- Exported constants:
- Exported nodes:
node mm1__mm1(a:int; b:int) returns (y:mm1::pair {a : int; b : int});
let
(y., y.) = if ((a > b)) then ((b, a)) else ((a, b));
@@ -3108,32 +1810,10 @@ tel
-- end of node mm1__mm1
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/mm22.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mm22.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack mm22
- export type pairpair
- export type pair
- export node mm22
-*** SyntaxTab.create pass 3
- init symbol tables for pack mm22
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- mm22 (pack)
-
- - Raw model table:
- - Raw Package table: mm22
- - Package manager table: mm22
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package mm22
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/mm22.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/mm22.lus
type mm22__pair = mm22::pair {a : int; b : int};
type mm22__pairpair = mm22::pairpair {a : mm22::pair {a : int; b : int}; b : mm22::pair {a : int; b : int}};
- Exported constants:
- Exported nodes:
node mm22__mm22(a:int; b:int) returns (y:mm22::pair {a : int; b : int});
let
y. = if ((a > b)) then (b) else (a);
@@ -3142,32 +1822,10 @@ tel
-- end of node mm22__mm22
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/mm3.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mm3.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack mm3
- export type pairpair
- export type pair
- export node mm3
-*** SyntaxTab.create pass 3
- init symbol tables for pack mm3
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- mm3 (pack)
-
- - Raw model table:
- - Raw Package table: mm3
- - Package manager table: mm3
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package mm3
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/mm3.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/mm3.lus
type mm3__pair = mm3::pair {a : int; b : int};
type mm3__pairpair = mm3::pairpair {a : mm3::pair {a : int; b : int}; b : mm3::pair {a : int; b : int}};
- Exported constants:
- Exported nodes:
node mm3__mm3(
a:mm3::pair {a : int;
@@ -3181,29 +1839,8 @@ tel
-- end of node mm3__mm3
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/mouse.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mouse.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack mouse
- export node mouse
- export node edge
-*** SyntaxTab.create pass 3
- init symbol tables for pack mouse
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- mouse (pack)
-
- - Raw model table:
- - Raw Package table: mouse
- - Package manager table: mouse
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package mouse
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/mouse.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/mouse.lus
node mouse__edge(x:bool) returns (e:bool);
let
e = false -> (x and not(pre(x)));
@@ -3236,28 +1873,8 @@ tel
-- end of node mouse__mouse
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/mouse1.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mouse1.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack mouse1
- export node mouse1
-*** SyntaxTab.create pass 3
- init symbol tables for pack mouse1
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- mouse1 (pack)
-
- - Raw model table:
- - Raw Package table: mouse1
- - Package manager table: mouse1
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package mouse1
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/mouse1.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/mouse1.lus
node mouse1__mouse1(
click:bool;
@@ -3283,29 +1900,8 @@ tel
-- end of node mouse1__mouse1
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/mouse2.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mouse2.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack mouse2
- export node mouse2
- export node edge
-*** SyntaxTab.create pass 3
- init symbol tables for pack mouse2
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- mouse2 (pack)
-
- - Raw model table:
- - Raw Package table: mouse2
- - Package manager table: mouse2
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package mouse2
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/mouse2.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/mouse2.lus
node mouse2__edge(x:bool) returns (e:bool);
let
e = false -> (x and not(pre(x)));
@@ -3338,28 +1934,8 @@ tel
-- end of node mouse2__mouse2
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/mouse3.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mouse3.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack mouse3
- export node mouse3
-*** SyntaxTab.create pass 3
- init symbol tables for pack mouse3
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- mouse3 (pack)
-
- - Raw model table:
- - Raw Package table: mouse3
- - Package manager table: mouse3
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package mouse3
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/mouse3.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/mouse3.lus
node mouse3__mouse3(
click:bool;
@@ -3379,29 +1955,8 @@ tel
-- end of node mouse3__mouse3
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/multiclock.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/multiclock.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack multiclock
- export node moyenne
- export node multiclock
-*** SyntaxTab.create pass 3
- init symbol tables for pack multiclock
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- multiclock (pack)
-
- - Raw model table:
- - Raw Package table: multiclock
- - Package manager table: multiclock
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package multiclock
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/multiclock.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/multiclock.lus
node multiclock__moyenne(x:int; y:int) returns (m:int);
var
s:int;
@@ -3429,29 +1984,8 @@ tel
-- end of node multiclock__multiclock
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc1.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc1.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack nc1
- export node n1
- export node nc1
-*** SyntaxTab.create pass 3
- init symbol tables for pack nc1
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- nc1 (pack)
-
- - Raw model table:
- - Raw Package table: nc1
- - Package manager table: nc1
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package nc1
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/nc1.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/nc1.lus
node nc1__n1(n1e1:bool; n1e2:bool) returns (n1s:bool);
var
n1b1:bool;
@@ -3472,32 +2006,8 @@ tel
-- end of node nc1__nc1
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc10.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc10.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack nc10
- export node nc10
- export node n1
- export node n2
- export node n3
- export node n4
-*** SyntaxTab.create pass 3
- init symbol tables for pack nc10
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- nc10 (pack)
-
- - Raw model table:
- - Raw Package table: nc10
- - Package manager table: nc10
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package nc10
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/nc10.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/nc10.lus
node nc10__n4(
n4e1:int;
@@ -3541,29 +2051,8 @@ tel
-- end of node nc10__nc10
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc2.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc2.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack nc2
- export node n1
- export node nc2
-*** SyntaxTab.create pass 3
- init symbol tables for pack nc2
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- nc2 (pack)
-
- - Raw model table:
- - Raw Package table: nc2
- - Package manager table: nc2
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package nc2
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/nc2.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/nc2.lus
node nc2__n1(n1e1:bool; n1e2:bool) returns (n1s:bool);
var
n1b1:bool;
@@ -3584,29 +2073,8 @@ tel
-- end of node nc2__nc2
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc3.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc3.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack nc3
- export node n1
- export node nc3
-*** SyntaxTab.create pass 3
- init symbol tables for pack nc3
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- nc3 (pack)
-
- - Raw model table:
- - Raw Package table: nc3
- - Package manager table: nc3
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package nc3
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/nc3.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/nc3.lus
node nc3__n1(n1e1:bool; n1e2:bool) returns (n1s:bool);
var
n1b1:bool;
@@ -3629,30 +2097,8 @@ tel
-- end of node nc3__nc3
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc4.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc4.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack nc4
- export node n1
- export node n2
- export node nc4
-*** SyntaxTab.create pass 3
- init symbol tables for pack nc4
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- nc4 (pack)
-
- - Raw model table:
- - Raw Package table: nc4
- - Package manager table: nc4
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package nc4
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/nc4.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/nc4.lus
node nc4__n1(n1e1:bool; n1e2:bool) returns (n1s:bool);
var
n1b1:bool;
@@ -3685,32 +2131,8 @@ tel
-- end of node nc4__nc4
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc5.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc5.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack nc5
- export node n1
- export node n2
- export node n3
- export node n4
- export node nc5
-*** SyntaxTab.create pass 3
- init symbol tables for pack nc5
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- nc5 (pack)
-
- - Raw model table:
- - Raw Package table: nc5
- - Package manager table: nc5
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package nc5
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/nc5.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/nc5.lus
node nc5__n4(n4e1:int) returns (n4s:int);
let
n4s = (n4e1 + 1);
@@ -3741,32 +2163,8 @@ tel
-- end of node nc5__nc5
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc6.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc6.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack nc6
- export node n1
- export node n2
- export node n3
- export node n4
- export node nc6
-*** SyntaxTab.create pass 3
- init symbol tables for pack nc6
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- nc6 (pack)
-
- - Raw model table:
- - Raw Package table: nc6
- - Package manager table: nc6
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package nc6
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/nc6.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/nc6.lus
node nc6__n4(n4e1:int) returns (n4s:int);
let
n4s = (n4e1 + 1);
@@ -3797,32 +2195,8 @@ tel
-- end of node nc6__nc6
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc7.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc7.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack nc7
- export node n1
- export node n2
- export node n3
- export node n4
- export node nc7
-*** SyntaxTab.create pass 3
- init symbol tables for pack nc7
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- nc7 (pack)
-
- - Raw model table:
- - Raw Package table: nc7
- - Package manager table: nc7
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package nc7
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/nc7.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/nc7.lus
node nc7__n4(
n4e1:int;
@@ -3861,32 +2235,8 @@ tel
-- end of node nc7__nc7
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc8.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc8.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack nc8
- export node n1
- export node n2
- export node n3
- export node n4
- export node nc8
-*** SyntaxTab.create pass 3
- init symbol tables for pack nc8
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- nc8 (pack)
-
- - Raw model table:
- - Raw Package table: nc8
- - Package manager table: nc8
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package nc8
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/nc8.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/nc8.lus
node nc8__n4(n4e1:int; n4e2:int; n4e3:int; n4e4:int) returns (n4s:int);
let
n4s = (((n4e1 + n4e2) + n4e3) + n4e4);
@@ -3917,32 +2267,8 @@ tel
-- end of node nc8__nc8
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc9.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc9.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack nc9
- export node n1
- export node n2
- export node n3
- export node n4
- export node nc9
-*** SyntaxTab.create pass 3
- init symbol tables for pack nc9
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- nc9 (pack)
-
- - Raw model table:
- - Raw Package table: nc9
- - Package manager table: nc9
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package nc9
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/nc9.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/nc9.lus
node nc9__n4(
n4e1:int;
@@ -3986,33 +2312,8 @@ tel
-- end of node nc9__nc9
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/node_caller1.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/node_caller1.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack node_caller1
- export node node_caller1
- export node ex1
- export node ex2
- export node ex3
- export node ex4
- export node ex5
-*** SyntaxTab.create pass 3
- init symbol tables for pack node_caller1
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- node_caller1 (pack)
-
- - Raw model table:
- - Raw Package table: node_caller1
- - Package manager table: node_caller1
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package node_caller1
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/node_caller1.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/node_caller1.lus
node node_caller1__ex5(a:int) returns (b:int);
let
b = (a - 700000);
@@ -4045,28 +2346,8 @@ tel
-- end of node node_caller1__node_caller1
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/o2l_feux_compl.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/o2l_feux_compl.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack o2l_feux_compl
- export node o2l_feux_compl
-*** SyntaxTab.create pass 3
- init symbol tables for pack o2l_feux_compl
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- o2l_feux_compl (pack)
-
- - Raw model table:
- - Raw Package table: o2l_feux_compl
- - Package manager table: o2l_feux_compl
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package o2l_feux_compl
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/o2l_feux_compl.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/o2l_feux_compl.lus
node o2l_feux_compl__o2l_feux_compl(
TD:bool;
@@ -4332,28 +2613,8 @@ tel
-- end of node o2l_feux_compl__o2l_feux_compl
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/patrick.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/patrick.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack patrick
- export node patrick
-*** SyntaxTab.create pass 3
- init symbol tables for pack patrick
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- patrick (pack)
-
- - Raw model table:
- - Raw Package table: patrick
- - Package manager table: patrick
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package patrick
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/patrick.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/patrick.lus
node patrick__patrick(a:int; b:int; c:bool; d:bool) returns (s:int);
let
s = if (c) then (a) else ((1 + if (d) then (b) else (4)));
@@ -4361,30 +2622,8 @@ tel
-- end of node patrick__patrick
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/poussoir.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/poussoir.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack poussoir
- export node TWO_STATES
- export node ONE_BUTTON
- export node poussoir
-*** SyntaxTab.create pass 3
- init symbol tables for pack poussoir
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- poussoir (pack)
-
- - Raw model table:
- - Raw Package table: poussoir
- - Package manager table: poussoir
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package poussoir
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/poussoir.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/poussoir.lus
node poussoir__TWO_STATES(
set:bool;
@@ -4410,28 +2649,8 @@ tel
-- end of node poussoir__poussoir
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/rs.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/rs.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack rs
- export node rs
-*** SyntaxTab.create pass 3
- init symbol tables for pack rs
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- rs (pack)
-
- - Raw model table:
- - Raw Package table: rs
- - Package manager table: rs
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package rs
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/rs.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/rs.lus
node rs__rs(r:bool; s:bool) returns (q:bool);
var
n:bool;
@@ -4442,28 +2661,8 @@ tel
-- end of node rs__rs
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/s.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/s.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack s
- export node s
-*** SyntaxTab.create pass 3
- init symbol tables for pack s
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- s (pack)
-
- - Raw model table:
- - Raw Package table: s
- - Package manager table: s
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package s
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/s.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/s.lus
node s__s(a:int; b:int) returns (t:int);
let
assert((a = 0));
@@ -4472,39 +2671,8 @@ tel
-- end of node s__s
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/simple.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/simple.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack simple
- export type H
- export type S
- export type T
- export type U
- export type V
- export type W
- export const size
- export const right
- export const u
- export const pi
- export const c
- export node simple
- export node f1
- export node f2
-*** SyntaxTab.create pass 3
- init symbol tables for pack simple
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- simple (pack)
-
- - Raw model table:
- - Raw Package table: simple
- - Package manager table: simple
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package simple
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/simple.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/simple.lus
type simple__S;
type simple__T = int;
type simple__H = simple::H {x : simple__S; y : int};
@@ -4512,12 +2680,10 @@ type simple__U = simple::U {a : int; b : simple::H {x : simple__S; y : int}};
type simple__V = simple::U {a : int; b : simple::H {x : simple__S; y : int}}^4;
const simple__size = 16;
type simple__W = int^18;
- Exported constants:
const simple__pi = 3.141600;
const simple__right = 1.570800;
const simple__u = false;
const simple__c = true;
- Exported nodes:
node simple__simple(
e:bool;
@@ -4538,29 +2704,8 @@ extern function simple__f1(x:int) returns (y:int);
extern function simple__f2(u:int; v:int) returns (s:int; t:bool);
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/stopwatch.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/stopwatch.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack stopwatch
- export node simple_stopwatch
- export node stopwatch
-*** SyntaxTab.create pass 3
- init symbol tables for pack stopwatch
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- stopwatch (pack)
-
- - Raw model table:
- - Raw Package table: stopwatch
- - Package manager table: stopwatch
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package stopwatch
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/stopwatch.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/stopwatch.lus
node stopwatch__simple_stopwatch(
time_unit:bool;
@@ -4602,28 +2747,8 @@ tel
-- end of node stopwatch__stopwatch
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/testCA.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/testCA.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack testCA
- export node testCA
-*** SyntaxTab.create pass 3
- init symbol tables for pack testCA
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- testCA (pack)
-
- - Raw model table:
- - Raw Package table: testCA
- - Package manager table: testCA
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package testCA
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/testCA.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/testCA.lus
node testCA__testCA(
time_in_ms:int)
@@ -4646,29 +2771,8 @@ tel
-- end of node testCA__testCA
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/trivial.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/trivial.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack trivial
- export node edge
- export node trivial
-*** SyntaxTab.create pass 3
- init symbol tables for pack trivial
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- trivial (pack)
-
- - Raw model table:
- - Raw Package table: trivial
- - Package manager table: trivial
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package trivial
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/trivial.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/trivial.lus
node trivial__edge(x:bool) returns (e:bool);
let
e = false -> (x and not(pre(x)));
@@ -4681,29 +2785,8 @@ tel
-- end of node trivial__trivial
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/trivial2.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/trivial2.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack trivial2
- export node edge
- export node trivial2
-*** SyntaxTab.create pass 3
- init symbol tables for pack trivial2
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- trivial2 (pack)
-
- - Raw model table:
- - Raw Package table: trivial2
- - Package manager table: trivial2
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package trivial2
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/trivial2.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/trivial2.lus
node trivial2__edge(x:bool) returns (e:bool);
let
e = false -> (x and not(pre(x)));
@@ -4716,28 +2799,8 @@ tel
-- end of node trivial2__trivial2
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/uu.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/uu.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack uu
- export node uu
-*** SyntaxTab.create pass 3
- init symbol tables for pack uu
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- uu (pack)
-
- - Raw model table:
- - Raw Package table: uu
- - Package manager table: uu
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package uu
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/uu.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/uu.lus
node uu__uu(x:bool; y:bool; z:bool) returns (a:bool);
var
V112_X:bool;
@@ -4770,28 +2833,8 @@ tel
-- end of node uu__uu
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/v1.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/v1.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack v1
- export node v1
-*** SyntaxTab.create pass 3
- init symbol tables for pack v1
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- v1 (pack)
-
- - Raw model table:
- - Raw Package table: v1
- - Package manager table: v1
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package v1
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/NONREG/v1.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/NONREG/v1.lus
node v1__v1(m:int; b:bool) returns (n:int);
let
n = if (b) then (m) else ((m - 1));
@@ -4799,59 +2842,15 @@ tel
-- end of node v1__v1
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/consensus.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/consensus.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack consensus
- export node main
- export node main2
- export node consensus
- export node c8
-*** SyntaxTab.create pass 3
- init symbol tables for pack consensus
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- consensus (pack)
-
- - Raw model table:
- - Raw Package table: consensus
- - Package manager table: consensus
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package consensus
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/Pascal/consensus.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/Pascal/consensus.lus
*** Error in file "should_work/Pascal/consensus.lus", line 24, col 40 to 42, token '1..':
*** can't eval constant: array index 1 out of bounds 0..0
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/fby.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/fby.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack fby
- export node rising_edge_bis
- export node rising_edge
-*** SyntaxTab.create pass 3
- init symbol tables for pack fby
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- fby (pack)
-
- - Raw model table:
- - Raw Package table: fby
- - Package manager table: fby
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package fby
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/Pascal/fby.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/Pascal/fby.lus
node fby__rising_edge_bis(X:bool) returns (ok:bool);
let
ok = (false fby not(X) fby X and X);
@@ -4864,29 +2863,8 @@ tel
-- end of node fby__rising_edge
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/func_with_body.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/func_with_body.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack func_with_body
- export node ext
- export node trivial
-*** SyntaxTab.create pass 3
- init symbol tables for pack func_with_body
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- func_with_body (pack)
-
- - Raw model table:
- - Raw Package table: func_with_body
- - Package manager table: func_with_body
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package func_with_body
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/Pascal/func_with_body.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/Pascal/func_with_body.lus
extern node func_with_body__ext(x:int) returns (y:int);
function func_with_body__trivial(x:int) returns (y:int);
let
@@ -4895,46 +2873,12 @@ tel
-- end of node func_with_body__trivial
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/heater_control.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/heater_control.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack heater_control
- export const FAILURE
- export const TMIN
- export const TMAX
- export const DELTA
- export node not_a_sauna2
- export node Median
- export node heater_control
- export node min2
- export node max2
- export node alloftree
- export node not_a_sauna
- export node abs
- export node noneoftree
- export node oneoftree
- export node Average
-*** SyntaxTab.create pass 3
- init symbol tables for pack heater_control
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- heater_control (pack)
-
- - Raw model table:
- - Raw Package table: heater_control
- - Package manager table: heater_control
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package heater_control
- Exported types:
- Exported constants:
+====> ../lus2lic -vl 2 --compile-all-items should_work/Pascal/heater_control.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/Pascal/heater_control.lus
const heater_control__FAILURE = -999.000000;
const heater_control__TMIN = 6.000000;
const heater_control__TMAX = 9.000000;
const heater_control__DELTA = 0.500000;
- Exported nodes:
node heater_control__not_a_sauna2(
T:real;
@@ -5052,30 +2996,9 @@ tel
-- end of node heater_control__not_a_sauna
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/left.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/left.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack left
- export type truc
- export node toto
-*** SyntaxTab.create pass 3
- init symbol tables for pack left
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- left (pack)
-
- - Raw model table:
- - Raw Package table: left
- - Package manager table: left
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package left
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/Pascal/left.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/Pascal/left.lus
type left__truc = left::truc {a : bool^100; b : int};
- Exported constants:
- Exported nodes:
node left__toto(x:bool) returns (t:left::truc {a : bool^100; b : int}^3);
let
t[0].[0..98 step 2][48..0 step -2] = true^25;
@@ -5089,80 +3012,26 @@ tel
-- end of node left__toto
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/newpacks.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/newpacks.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack inter
- export node preced
- export const n
- export type selType
- init pack mainPack
- export node preced
- init pack pint
- export node fby1
- export type t
- init pack pbool
- export node fby1
- export type t
- init pack preal
- export node fby1
- export type t
-*** SyntaxTab.create pass 3
- init symbol tables for pack inter
- init symbol tables for pack mainPack
- init symbol tables for pack pint
- init symbol tables for pack pbool
- init symbol tables for pack preal
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- modSimple (model)
- pint (pack)
- pbool (pack)
- preal (pack)
- inter (pack)
- mainPack (pack)
-
- - Raw model table: modSimple
- - Raw Package table: inter mainPack pint pbool preal
- - Package manager table: inter mainPack pint pbool preal
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package preal
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/Pascal/newpacks.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/Pascal/newpacks.lus
type preal__t = real;
- Exported constants:
- Exported nodes:
node preal__fby1(init:real; fb:real) returns (next:real);
let
next = init -> pre(fb);
tel
-- end of node preal__fby1
- * package pbool
- Exported types:
type pbool__t = bool;
- Exported constants:
- Exported nodes:
node pbool__fby1(init:bool; fb:bool) returns (next:bool);
let
next = init -> pre(fb);
tel
-- end of node pbool__fby1
- * package pint
- Exported types:
type pint__t = int;
- Exported constants:
- Exported nodes:
node pint__fby1(init:int; fb:int) returns (next:int);
let
next = init -> pre(fb);
tel
-- end of node pint__fby1
- * package mainPack
- Exported types:
- Exported constants:
- Exported nodes:
type inter__selType = inter::selType {i : int; b : bool; r : real};
node inter__preced(
@@ -5190,86 +3059,11 @@ let
(out, out2) = inter__preced(in);
tel
-- end of node mainPack__preced
- * package inter
- Exported types:
- Exported constants:
const inter__n = -4;
- Exported nodes:
-
-----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/onlyroll.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/onlyroll.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack onlyroll
- export const NRminP
- export const NRmaxP
- export const NRminR
- export const DELTA_PITCH
- export const NRmaxR
- export const FAIL_SAFE_PITCH_VALUE
- export const DELTA_YAW
- export const HORminP
- export const NRminY
- export const XFAIL_SAFE_ROLL_VALUE
- export const HORmaxP
- export const HORminR
- export const NRmaxY
- export const HORmaxR
- export const CROSS_CH_TOL_PITCH
- export const HORminY
- export const FAIL_SAFE_YAW_VALUE
- export const HORmaxY
- export const OneSecond
- export const FAIL_SAFE_ROLL_VALUE
- export const DELTA_ROLL
- export const TIME_ROLL
- export const CROSS_CH_TOL_ROLL
- export const TIME5
- export const BID_LAST
- export const SAFE_COUNTER_TIME
- export const BID_VAL
- export const TIME_CROSS_ROLL
- export const CROSS_CH_TOL_YAW
- export node Calculate
- export node onlyroll
- export node Median
- export node oneoffour
- export node MedianValue3
- export node Monitor
- export node Allocator
- export node Channel
- export node min2
- export node min4
- export node max2
- export node max4
- export node OlympicAverage
- export node InHardoverRange
- export node twooffour
- export node noneof
- export node threeoffour
- export node InNominalRange
- export node FailDetect
- export node abs
- export node Average2
- export node Average
- export node maintain
- export node values_nok
-*** SyntaxTab.create pass 3
- init symbol tables for pack onlyroll
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- onlyroll (pack)
-
- - Raw model table:
- - Raw Package table: onlyroll
- - Package manager table: onlyroll
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package onlyroll
- Exported types:
- Exported constants:
+
+----------------------------------------------------------------------
+====> ../lus2lic -vl 2 --compile-all-items should_work/Pascal/onlyroll.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/Pascal/onlyroll.lus
const onlyroll__NRminP = -5.100000;
const onlyroll__NRminR = -25.300000;
const onlyroll__NRmaxP = 5.100000;
@@ -5299,7 +3093,6 @@ const onlyroll__SAFE_COUNTER_TIME = 3;
const onlyroll__BID_VAL = 3.300000;
const onlyroll__CROSS_CH_TOL_YAW = 10.000000;
const onlyroll__TIME_CROSS_ROLL = 3;
- Exported nodes:
node onlyroll__noneof(
f1:bool;
@@ -5754,80 +3547,26 @@ tel
-- end of node onlyroll__InHardoverRange
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/p.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/p.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack inter
- export node preced
- export const n
- export type selType
- init pack mainPack
- export node preced
- init pack pint
- export node fby1
- export type t
- init pack pbool
- export node fby1
- export type t
- init pack preal
- export node fby1
- export type t
-*** SyntaxTab.create pass 3
- init symbol tables for pack inter
- init symbol tables for pack mainPack
- init symbol tables for pack pint
- init symbol tables for pack pbool
- init symbol tables for pack preal
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- modSimple (model)
- pint (pack)
- pbool (pack)
- preal (pack)
- inter (pack)
- mainPack (pack)
-
- - Raw model table: modSimple
- - Raw Package table: inter mainPack pint pbool preal
- - Package manager table: inter mainPack pint pbool preal
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package preal
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/Pascal/p.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/Pascal/p.lus
type preal__t = real;
- Exported constants:
- Exported nodes:
node preal__fby1(init:real; fb:real) returns (next:real);
let
next = init -> pre(fb);
tel
-- end of node preal__fby1
- * package pbool
- Exported types:
type pbool__t = bool;
- Exported constants:
- Exported nodes:
node pbool__fby1(init:bool; fb:bool) returns (next:bool);
let
next = init -> pre(fb);
tel
-- end of node pbool__fby1
- * package pint
- Exported types:
type pint__t = int;
- Exported constants:
- Exported nodes:
node pint__fby1(init:int; fb:int) returns (next:int);
let
next = init -> pre(fb);
tel
-- end of node pint__fby1
- * package mainPack
- Exported types:
- Exported constants:
- Exported nodes:
type inter__selType = inter::selType {i : int; b : bool; r : real};
node inter__preced(
@@ -5855,105 +3594,37 @@ let
(out, out2) = inter__preced(in);
tel
-- end of node mainPack__preced
- * package inter
- Exported types:
- Exported constants:
const inter__n = -4;
- Exported nodes:
-
-----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/packs.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/packs.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack inter
- export node preced
- export const n
- export type selType
- export enum const X
- export enum const Y
- export type toto
- init pack mainPack
- export type T
- export enum const bleu
- export enum const rose
- export enum const jaune
- export type couleurs
- export const N
- export const X
- export node preced
- init pack pint
- export node fby1
- export type t
- init pack pbool
- export node fby1
- export type t
- init pack preal
- export node fby1
- export type t
-*** SyntaxTab.create pass 3
- init symbol tables for pack inter
- init symbol tables for pack mainPack
- init symbol tables for pack pint
- init symbol tables for pack pbool
- init symbol tables for pack preal
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- modSimple (model)
- pint (pack)
- pbool (pack)
- preal (pack)
- inter (pack)
- mainPack (pack)
-
- - Raw model table: modSimple
- - Raw Package table: inter mainPack pint pbool preal
- - Package manager table: inter mainPack pint pbool preal
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package preal
- Exported types:
+
+----------------------------------------------------------------------
+====> ../lus2lic -vl 2 --compile-all-items should_work/Pascal/packs.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/Pascal/packs.lus
type preal__t = real;
- Exported constants:
- Exported nodes:
node preal__fby1(init:real; fb:real) returns (next:real);
let
next = init -> pre(fb);
tel
-- end of node preal__fby1
- * package pbool
- Exported types:
type pbool__t = bool;
- Exported constants:
- Exported nodes:
node pbool__fby1(init:bool; fb:bool) returns (next:bool);
let
next = init -> pre(fb);
tel
-- end of node pbool__fby1
- * package pint
- Exported types:
type pint__t = int;
- Exported constants:
- Exported nodes:
node pint__fby1(init:int; fb:int) returns (next:int);
let
next = init -> pre(fb);
tel
-- end of node pint__fby1
- * package mainPack
- Exported types:
const inter__n = -4;
const mainPack__N = 8;
type mainPack__T = int^8;
type mainPack__couleurs = enum {mainPack__bleu, mainPack__rose, mainPack__jaune};
- Exported constants:
const mainPack__bleu;
const mainPack__jaune;
const mainPack__rose;
const mainPack__X = 8;
- Exported nodes:
type inter__selType = inter::selType {i : int; b : bool; r : real};
node inter__preced(
@@ -5981,45 +3652,20 @@ let
(out, out2) = inter__preced(in);
tel
-- end of node mainPack__preced
- * package inter
- Exported types:
type inter__toto = enum {inter__X, inter__Y};
- Exported constants:
const inter__X;
const inter__Y;
- Exported nodes:
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/pfs.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/pfs.lus
+====> ../lus2lic -vl 2 --compile-all-items should_work/Pascal/pfs.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/Pascal/pfs.lus
*** Error in file "should_work/Pascal/pfs.lus", line 43, col 22 to 22, token '[': syntax error
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/struct0.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/struct0.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack struct0
- export type Toto
- export node bibi
-*** SyntaxTab.create pass 3
- init symbol tables for pack struct0
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- struct0 (pack)
-
- - Raw model table:
- - Raw Package table: struct0
- - Package manager table: struct0
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package struct0
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/Pascal/struct0.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/Pascal/struct0.lus
type struct0__Toto = struct0::Toto {x : int (1); y : int (2)};
- Exported constants:
- Exported nodes:
node struct0__bibi(
dummy:int)
@@ -6034,33 +3680,10 @@ tel
-- end of node struct0__bibi
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/t.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/t.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack t
- export const A
- export const B
- export node map2
- export node toto
-*** SyntaxTab.create pass 3
- init symbol tables for pack t
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- t (pack)
-
- - Raw model table:
- - Raw Package table: t
- - Package manager table: t
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package t
- Exported types:
- Exported constants:
+====> ../lus2lic -vl 2 --compile-all-items should_work/Pascal/t.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/Pascal/t.lus
const t__A = [[1, 1], [1, 1], [1, 1]];
const t__B = [2, 2];
- Exported nodes:
node t__toto(x:bool) returns (a:int^2^3; b:int^2);
let
a = A;
@@ -6069,143 +3692,31 @@ tel
-- end of node t__toto
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/t0.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/t0.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack t0
- export node min_4
- export node t0
- export node min
- export node min_n
- export node max
-*** SyntaxTab.create pass 3
- init symbol tables for pack t0
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- t0 (pack)
-
- - Raw model table:
- - Raw Package table: t0
- - Package manager table: t0
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package t0
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/Pascal/t0.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/Pascal/t0.lus
*** Error in file "should_work/Pascal/t0.lus", line 13, col 37 to 39, token '1..':
*** can't eval constant: array index 1 out of bounds 0..0
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/t1.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/t1.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack t1
- export node fold_left
- export node consensus
- export node bt_void
-*** SyntaxTab.create pass 3
- init symbol tables for pack t1
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- t1 (pack)
-
- - Raw model table:
- - Raw Package table: t1
- - Package manager table: t1
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package t1
- Exported types:
- Exported constants:
- Exported nodes:
-
-----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/t2.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/t2.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack t2
- export node fold_left
- export node t2
- export node consensus_6_bis
- export node consensus_6
- export node consensus_bis
- export node consensus
-*** SyntaxTab.create pass 3
- init symbol tables for pack t2
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- t2 (pack)
-
- - Raw model table:
- - Raw Package table: t2
- - Package manager table: t2
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package t2
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/Pascal/t1.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/Pascal/t1.lus
+
+----------------------------------------------------------------------
+====> ../lus2lic -vl 2 --compile-all-items should_work/Pascal/t2.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/Pascal/t2.lus
*** Error in file "should_work/Pascal/t2.lus", line 34, col 5 to 9, token 'treat': unknown node (treat)
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/test.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/test.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack P1
- export const y
- export type titi
-*** SyntaxTab.create pass 3
- init symbol tables for pack P1
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- P1 (pack)
-
- - Raw model table:
- - Raw Package table: P1
- - Package manager table: P1
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package P1
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/Pascal/test.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/Pascal/test.lus
const P1__y = 3;
type P1__titi = int^5;
- Exported constants:
- Exported nodes:
-
-----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/trivial.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/trivial.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack trivial
- export node trivial
-*** SyntaxTab.create pass 3
- init symbol tables for pack trivial
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- trivial (pack)
-
- - Raw model table:
- - Raw Package table: trivial
- - Package manager table: trivial
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package trivial
- Exported types:
- Exported constants:
- Exported nodes:
+
+----------------------------------------------------------------------
+====> ../lus2lic -vl 2 --compile-all-items should_work/Pascal/trivial.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/Pascal/trivial.lus
node trivial__trivial(x:int) returns (y:int);
let
y = 1;
@@ -6213,28 +3724,8 @@ tel
-- end of node trivial__trivial
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/call/bad_call02.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/call/bad_call02.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack bad_call02
- export node bad_call02
-*** SyntaxTab.create pass 3
- init symbol tables for pack bad_call02
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- bad_call02 (pack)
-
- - Raw model table:
- - Raw Package table: bad_call02
- - Package manager table: bad_call02
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package bad_call02
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/call/bad_call02.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/call/bad_call02.lus
node bad_call02__bad_call02(a:int; c:bool) returns (x:int);
let
x = a when c;
@@ -6242,30 +3733,8 @@ tel
-- end of node bad_call02__bad_call02
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/call/call01.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/call/call01.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack call01
- export node call01
- export node toto
- export node momo
-*** SyntaxTab.create pass 3
- init symbol tables for pack call01
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- call01 (pack)
-
- - Raw model table:
- - Raw Package table: call01
- - Package manager table: call01
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package call01
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/call/call01.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/call/call01.lus
function call01__toto(i1:bool; i2:bool) returns (o:bool);
let
o = Lustre__and(i1, i2);
@@ -6279,30 +3748,8 @@ tel
extern function call01__momo(x:bool; y:bool) returns (z:bool);
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/call/call02.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/call/call02.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack call02
- export node titi
- export node call02
- export node toto
-*** SyntaxTab.create pass 3
- init symbol tables for pack call02
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- call02 (pack)
-
- - Raw model table:
- - Raw Package table: call02
- - Package manager table: call02
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package call02
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/call/call02.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/call/call02.lus
function call02__toto(i1:bool; i2:bool) returns (o:bool);
let
o = Lustre__and(i1, i2);
@@ -6320,30 +3767,8 @@ tel
-- end of node call02__call02
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/call/call03.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/call/call03.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack call03
- export node tutu
- export node call03
- export node momo
-*** SyntaxTab.create pass 3
- init symbol tables for pack call03
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- call03 (pack)
-
- - Raw model table:
- - Raw Package table: call03
- - Package manager table: call03
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package call03
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/call/call03.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/call/call03.lus
function call03__tutu(i1:bool^2; i2:bool^2) returns (o:bool^2);
let
o = Lustre__map<<node Lustre__or, const 2>>(i1, i2);
@@ -6357,31 +3782,8 @@ tel
extern function call03__momo(x:bool; y:bool) returns (z:bool);
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/call/call04.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/call/call04.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack call04
- export node tutu
- export node titi
- export node call04
- export node toto
-*** SyntaxTab.create pass 3
- init symbol tables for pack call04
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- call04 (pack)
-
- - Raw model table:
- - Raw Package table: call04
- - Package manager table: call04
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package call04
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/call/call04.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/call/call04.lus
function call04__toto(i1:bool; i2:bool) returns (o:bool);
let
o = Lustre__and(i1, i2);
@@ -6404,29 +3806,8 @@ tel
-- end of node call04__call04
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/call/call05.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/call/call05.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack call05
- export node call05
- export node momo
-*** SyntaxTab.create pass 3
- init symbol tables for pack call05
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- call05 (pack)
-
- - Raw model table:
- - Raw Package table: call05
- - Package manager table: call05
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package call05
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/call/call05.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/call/call05.lus
extern function call05__momo(x:bool; y:bool) returns (z:bool);
node call05__call05(x:bool; y:bool) returns (z:bool);
let
@@ -6435,29 +3816,8 @@ tel
-- end of node call05__call05
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/call/call06.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/call/call06.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack call06
- export node call06
- export node bip
-*** SyntaxTab.create pass 3
- init symbol tables for pack call06
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- call06 (pack)
-
- - Raw model table:
- - Raw Package table: call06
- - Package manager table: call06
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package call06
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/call/call06.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/call/call06.lus
extern function call06__bip(x:bool; y:bool) returns (z:bool; t:bool);
node call06__call06(x:bool; y:bool) returns (z:bool; t:bool);
let
@@ -6467,28 +3827,8 @@ tel
-- end of node call06__call06
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/call/call07.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/call/call07.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack call07
- export node call07
-*** SyntaxTab.create pass 3
- init symbol tables for pack call07
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- call07 (pack)
-
- - Raw model table:
- - Raw Package table: call07
- - Package manager table: call07
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package call07
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/call/call07.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/call/call07.lus
node call07__call07(x:bool; y:bool; z:bool) returns (t:bool);
let
t = #(x, y, z);
@@ -6496,73 +3836,13 @@ tel
-- end of node call07__call07
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/Gyroscope2.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/Gyroscope2.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack Gyroscope2
- export type CFF_Eltstruct
- export type Faulty_ChannelT
- export type Faulty_Array
- export type Valid_ChannelT
- export type CFF_struct
- export const DELTA_PITCH
- export const DELTA_YAW
- export const DELTA_TO_GOD_YAW
- export const DELTA_ROLL
- export const CROSS_CHANNEL_TOLERANCE
- export const GOD_PITCH
- export const GOD_YAW
- export const GOD_ROLL
- export const DELTA_TO_GOD_ROLL
- export const DELTA_TO_GOD_PITCH
- export node ValueIsSecureII
- export node countFalse
- export node assumeEvaluateAxis
- export node assumeChannel
- export node selectFailure
- export node Voter
- export node Channel
- export node guaranteeChannel
- export node TooFar
- export node countValidChannels
- export node iteratedVoter
- export node ComputeForeignChannels
- export node CrossFailDetect
- export node assumeVoter
- export node guaranteeEvaluateAxis
- export node ValueIsSecure
- export node EvaluateAxis
- export node addOneChannelIter
- export node masking
- export node compare_rolls
- export node abs
- export node Gyroscope2
- export node sum
- export node addOneChannel
- export node guaranteeVoter
- export node values_nok
- export node CFC_iter
-*** SyntaxTab.create pass 3
- init symbol tables for pack Gyroscope2
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- Gyroscope2 (pack)
-
- - Raw model table:
- - Raw Package table: Gyroscope2
- - Package manager table: Gyroscope2
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package Gyroscope2
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/Gyroscope2.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/Gyroscope2.lus
type Gyroscope2__Valid_ChannelT = Gyroscope2::Valid_ChannelT {local_failure : bool; local_value : real};
type Gyroscope2__CFF_Eltstruct = Gyroscope2::CFF_Eltstruct {indx : int; indx_toChange : int; value : Gyroscope2::Valid_ChannelT {local_failure : bool; local_value : real}};
type Gyroscope2__Faulty_ChannelT = Gyroscope2::Faulty_ChannelT {valuea : real; valueb : real};
type Gyroscope2__Faulty_Array = Gyroscope2::Faulty_ChannelT {valuea : real; valueb : real}^4^3;
type Gyroscope2__CFF_struct = Gyroscope2::CFF_struct {indx : int; indx_toChange : int; tabToFill : Gyroscope2::Valid_ChannelT {local_failure : bool; local_value : real}^3};
- Exported constants:
const Gyroscope2__DELTA_PITCH = 2.000000;
const Gyroscope2__DELTA_YAW = 2.000000;
const Gyroscope2__DELTA_TO_GOD_YAW = 2.000000;
@@ -6573,7 +3853,6 @@ const Gyroscope2__GOD_ROLL = 15.000000;
const Gyroscope2__GOD_YAW = 14.000000;
const Gyroscope2__DELTA_TO_GOD_ROLL = 2.000000;
const Gyroscope2__DELTA_TO_GOD_PITCH = 2.000000;
- Exported nodes:
node Gyroscope2__abs(in:real) returns (out:real);
let
out = if ((in < 0.0)) then (-(in)) else (in);
@@ -7004,35 +4283,9 @@ tel
-- end of node Gyroscope2__guaranteeVoter
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/alias.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/alias.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack alias
- export const SIZE
- export node aliasGivenNode
- export node aliasPredefNot
- export node unNoeud
- export node aliasIterOp
- export node alias
- export node aliasBoolRed
-*** SyntaxTab.create pass 3
- init symbol tables for pack alias
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- alias (pack)
-
- - Raw model table:
- - Raw Package table: alias
- - Package manager table: alias
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package alias
- Exported types:
- Exported constants:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/alias.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/alias.lus
const alias__SIZE = 3;
- Exported nodes:
function alias__aliasIterOp(i1:int; i2:int^3) returns (o:int);
let
o = Lustre__red<<node Lustre__+, const 3>>(i1, i2);
@@ -7069,28 +4322,8 @@ tel
-- end of node alias__alias
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/bred.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/bred.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack bred
- export node bred
-*** SyntaxTab.create pass 3
- init symbol tables for pack bred
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- bred (pack)
-
- - Raw model table:
- - Raw Package table: bred
- - Package manager table: bred
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package bred
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/bred.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/bred.lus
node bred__bred(a:bool^2) returns (x:bool);
let
x = boolred<<const 0, const 1, const 2>>(a);
@@ -7098,30 +4331,9 @@ tel
-- end of node bred__bred
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/bred_lv4.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/bred_lv4.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack bred_lv4
- export type T1_ARRAY
- export node bred
-*** SyntaxTab.create pass 3
- init symbol tables for pack bred_lv4
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- bred_lv4 (pack)
-
- - Raw model table:
- - Raw Package table: bred_lv4
- - Package manager table: bred_lv4
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package bred_lv4
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/bred_lv4.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/bred_lv4.lus
type bred_lv4__T1_ARRAY = bool^2;
- Exported constants:
- Exported nodes:
node bred_lv4__bred(i_a:bool^2) returns (o_x:bool);
let
o_x = boolred<<const 0, const 1, const 2>>(i_a);
@@ -7129,31 +4341,8 @@ tel
-- end of node bred_lv4__bred
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/clock.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/clock.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack clock
- export node clock
- export node clock2
- export node clock3
- export node clock4
-*** SyntaxTab.create pass 3
- init symbol tables for pack clock
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- clock (pack)
-
- - Raw model table:
- - Raw Package table: clock
- - Package manager table: clock
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package clock
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/clock.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/clock.lus
extern node clock__clock2(u:bool; v:bool when u) returns (y:bool);
extern node clock__clock3(u:bool) returns (x:bool; y:bool when x);
@@ -7176,30 +4365,8 @@ tel
-- end of node clock__clock
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/clock1_2ms.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/clock1_2ms.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack clock1_2ms
- export node Clock1ms_node
- export node Clock2ms_node
- export node clock1_2ms
-*** SyntaxTab.create pass 3
- init symbol tables for pack clock1_2ms
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- clock1_2ms (pack)
-
- - Raw model table:
- - Raw Package table: clock1_2ms
- - Package manager table: clock1_2ms
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package clock1_2ms
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/clock1_2ms.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/clock1_2ms.lus
node clock1_2ms__Clock1ms_node(dummy:bool) returns (Clock1ms:bool);
let
Clock1ms = true -> not(pre(Clock1ms));
@@ -7223,47 +4390,8 @@ tel
-- end of node clock1_2ms__clock1_2ms
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/decl.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/decl.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack decl
- export type t1
- export type t2
- export type t3
- export type t4
- export type t5
- export type coord
- export type coord_tab
- export enum const bleu
- export enum const blanc
- export enum const rouge
- export type couleur
- export const d
- export const e
- export const f
- export const g
- export const h
- export const a
- export const b
- export const c
- export node decl
- export node f1
- export node n2
-*** SyntaxTab.create pass 3
- init symbol tables for pack decl
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- decl (pack)
-
- - Raw model table:
- - Raw Package table: decl
- - Package manager table: decl
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package decl
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/decl.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/decl.lus
type decl__t1;
type decl__t2;
type decl__t3;
@@ -7275,7 +4403,6 @@ type decl__t5 = decl__t1^8^5;
type decl__coord = decl::coord {x : real; y : real};
type decl__coord_tab = decl::coord {x : real; y : real}^1;
type decl__couleur = enum {decl__bleu, decl__blanc, decl__rouge};
- Exported constants:
const decl__e = 8.500000;
const decl__blanc;
const decl__f;
@@ -7284,7 +4411,6 @@ const decl__rouge;
const decl__a:int;
const decl__b:int;
const decl__c:int;
- Exported nodes:
extern node decl__decl(
a1:decl__t1;
@@ -7309,50 +4435,8 @@ returns (
e1:decl__t1^8^5);
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/declaration.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/declaration.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack declaration
- export type t1
- export type t2
- export type t3
- export type t4
- export type t5
- export type coord
- export type coord_tab
- export enum const bleu
- export enum const blanc
- export enum const rouge
- export type couleur
- export const d
- export const e
- export const f
- export const g
- export const h
- export const a
- export const b
- export const c
- export node declaration
- export node f1
- export node n1
- export node n2
- export node n4
- export node n5
-*** SyntaxTab.create pass 3
- init symbol tables for pack declaration
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- declaration (pack)
-
- - Raw model table:
- - Raw Package table: declaration
- - Package manager table: declaration
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package declaration
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/declaration.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/declaration.lus
type declaration__t1;
type declaration__t2;
type declaration__t3;
@@ -7364,7 +4448,6 @@ type declaration__t5 = declaration__t1^8^5;
type declaration__coord = declaration::coord {x : real; y : real};
type declaration__coord_tab = declaration::coord {x : real; y : real}^1;
type declaration__couleur = enum {declaration__bleu, declaration__blanc, declaration__rouge};
- Exported constants:
const declaration__e = 8.500000;
const declaration__blanc;
const declaration__f;
@@ -7373,7 +4456,6 @@ const declaration__rouge;
const declaration__a:int;
const declaration__b:int;
const declaration__c:int;
- Exported nodes:
node declaration__declaration(a1:int) returns (b1:int);
let
b1 = a1;
@@ -7418,37 +4500,8 @@ tel
-- end of node declaration__n5
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/def.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/def.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack def
- export type structT
- export type t1
- export type t2
- export type t3
- export type tabStruct
- export type string2d
- export type string
- export const id_int
- export const a
- export const b
- export const c
- export node def
-*** SyntaxTab.create pass 3
- init symbol tables for pack def
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- def (pack)
-
- - Raw model table:
- - Raw Package table: def
- - Package manager table: def
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package def
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/def.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/def.lus
type def__t1;
const def__a = 4;
type def__string = int^4;
@@ -7457,11 +4510,9 @@ type def__structT = def::structT {x : int; y : real; z : int^4^4^4};
type def__t2;
type def__t3;
type def__tabStruct = def::structT {x : int; y : real; z : int^4^4^4}^2;
- Exported constants:
const def__id_int = 5;
const def__b = true;
const def__c = 3.140000;
- Exported nodes:
node def__def(
a1:bool;
@@ -7512,34 +4563,10 @@ tel
-- end of node def__def
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/filliter.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/filliter.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack filliter
- export type t
- export const NBC
- export node copie
- export node filliter
- export node incr_acc
-*** SyntaxTab.create pass 3
- init symbol tables for pack filliter
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- filliter (pack)
-
- - Raw model table:
- - Raw Package table: filliter
- - Package manager table: filliter
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package filliter
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/filliter.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/filliter.lus
type filliter__t = int^5;
- Exported constants:
const filliter__NBC = 3;
- Exported nodes:
node filliter__copie(acc_in:int) returns (acc_out:int; elt:int);
let
acc_out = acc_in;
@@ -7572,32 +4599,10 @@ tel
-- end of node filliter__filliter
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/filter.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/filter.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack filter
- export type complexe
- export type cdouble
- export node filter
-*** SyntaxTab.create pass 3
- init symbol tables for pack filter
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- filter (pack)
-
- - Raw model table:
- - Raw Package table: filter
- - Package manager table: filter
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package filter
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/filter.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/filter.lus
type filter__complexe = filter::complexe {x : real; y : real};
type filter__cdouble = filter::cdouble {x : filter::complexe {x : real; y : real}; y : filter::complexe {x : real; y : real}};
- Exported constants:
- Exported nodes:
node filter__filter(a:real; b:real) returns (ok:bool);
var
i:real;
@@ -7613,31 +4618,8 @@ tel
-- end of node filter__filter
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/lustre_test1_ok.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/lustre_test1_ok.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack lustre_test1_ok
- export node rising
- export node lustre_test1_ok
- export node subsys1
- export node TransFnc_1
-*** SyntaxTab.create pass 3
- init symbol tables for pack lustre_test1_ok
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- lustre_test1_ok (pack)
-
- - Raw model table:
- - Raw Package table: lustre_test1_ok
- - Package manager table: lustre_test1_ok
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package lustre_test1_ok
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/lustre_test1_ok.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/lustre_test1_ok.lus
node lustre_test1_ok__rising(in:bool) returns (out:bool);
let
out = false -> (in and not(pre(in)));
@@ -7703,38 +4685,8 @@ tel
-- end of node lustre_test1_ok__lustre_test1_ok
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/map_red_iter.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/map_red_iter.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack map_red_iter
- export type INTNBC
- export type T_EntreeGlob
- export type INTNBG
- export type T_ComChg
- export type T_InfoGenIndiv
- export type T_EtatCharge
- export type T_InfoChgGlob
- export type T_InfoChgIndiv
- export type T_InfoGenGlob
- export const NBC
- export const NBG
- export node traite_genCore_itere
- export node map_red_iter
-*** SyntaxTab.create pass 3
- init symbol tables for pack map_red_iter
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- map_red_iter (pack)
-
- - Raw model table:
- - Raw Package table: map_red_iter
- - Package manager table: map_red_iter
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package map_red_iter
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/map_red_iter.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/map_red_iter.lus
const map_red_iter__NBC = 20;
type map_red_iter__INTNBC = int^20;
const map_red_iter__NBG = 4;
@@ -7746,8 +4698,6 @@ type map_red_iter__T_EtatCharge = int;
type map_red_iter__T_InfoChgGlob = map_red_iter::T_InfoChgGlob {chg2gen : int^20};
type map_red_iter__T_InfoChgIndiv = map_red_iter::T_InfoChgIndiv {mesure_chg : int};
type map_red_iter__T_InfoGenGlob = map_red_iter::T_InfoGenGlob {elt_bidon : int; chg2gen : int^20};
- Exported constants:
- Exported nodes:
node map_red_iter__traite_genCore_itere(
acc_in:int;
@@ -7780,35 +4730,11 @@ tel
-- end of node map_red_iter__map_red_iter
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/mapdeRed.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/mapdeRed.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack mapdeRed
- export const m
- export const n
- export const p
- export node incr
- export node mapdeRed
-*** SyntaxTab.create pass 3
- init symbol tables for pack mapdeRed
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- mapdeRed (pack)
-
- - Raw model table:
- - Raw Package table: mapdeRed
- - Package manager table: mapdeRed
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package mapdeRed
- Exported types:
- Exported constants:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/mapdeRed.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/mapdeRed.lus
const mapdeRed__m = 3;
const mapdeRed__n = 2;
const mapdeRed__p = 5;
- Exported nodes:
node mapdeRed__incr(i:int) returns (accu:int; s:int);
let
accu = (i + 1);
@@ -7831,29 +4757,8 @@ tel
-- end of node mapdeRed__mapdeRed
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/mapiter.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/mapiter.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack mapiter
- export node incr_tab
- export node mapiter
-*** SyntaxTab.create pass 3
- init symbol tables for pack mapiter
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- mapiter (pack)
-
- - Raw model table:
- - Raw Package table: mapiter
- - Package manager table: mapiter
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package mapiter
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/mapiter.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/mapiter.lus
node mapiter__incr_tab(a:int) returns (b:int);
let
b = (a + 1);
@@ -7867,34 +4772,11 @@ tel
-- end of node mapiter__mapiter
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/mappredef.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/mappredef.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack mappredef
- export type tab_int
- export type tab_bool
- export const N
- export node mappredef
-*** SyntaxTab.create pass 3
- init symbol tables for pack mappredef
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- mappredef (pack)
-
- - Raw model table:
- - Raw Package table: mappredef
- - Package manager table: mappredef
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package mappredef
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/mappredef.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/mappredef.lus
const mappredef__N = 3;
type mappredef__tab_int = int^3;
type mappredef__tab_bool = bool^3;
- Exported constants:
- Exported nodes:
node mappredef__mappredef(
x:bool^3;
@@ -7913,28 +4795,8 @@ tel
-- end of node mappredef__mappredef
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/plus.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/plus.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack plus
- export node plus
-*** SyntaxTab.create pass 3
- init symbol tables for pack plus
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- plus (pack)
-
- - Raw model table:
- - Raw Package table: plus
- - Package manager table: plus
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package plus
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/plus.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/plus.lus
node plus__plus(a:int; b:int) returns (c:int; d:int; e:int; f:int);
let
c = (a + b);
@@ -7946,28 +4808,8 @@ tel
-- end of node plus__plus
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/pre_x.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/pre_x.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack pre_x
- export node pre_x
-*** SyntaxTab.create pass 3
- init symbol tables for pack pre_x
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- pre_x (pack)
-
- - Raw model table:
- - Raw Package table: pre_x
- - Package manager table: pre_x
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package pre_x
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/pre_x.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/pre_x.lus
node pre_x__pre_x(a:int; b:int) returns (x:bool);
let
x = false -> if ((pre(a) = pre(b))) then (not(pre(x))) else (pre(x));
@@ -7975,29 +4817,8 @@ tel
-- end of node pre_x__pre_x
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/rediter.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/rediter.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack rediter
- export node max
- export node rediter
-*** SyntaxTab.create pass 3
- init symbol tables for pack rediter
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- rediter (pack)
-
- - Raw model table:
- - Raw Package table: rediter
- - Package manager table: rediter
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package rediter
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/rediter.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/rediter.lus
node rediter__max(init:int; a:int) returns (b:int);
let
b = if ((init > a)) then (init) else (a);
@@ -8010,29 +4831,8 @@ tel
-- end of node rediter__rediter
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/redoptest.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/redoptest.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack redoptest
- export node max
- export node redoptest
-*** SyntaxTab.create pass 3
- init symbol tables for pack redoptest
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- redoptest (pack)
-
- - Raw model table:
- - Raw Package table: redoptest
- - Package manager table: redoptest
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package redoptest
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/redoptest.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/redoptest.lus
node redoptest__max(init:int; a:int) returns (b:int);
let
b = if ((init > a)) then (init) else (a);
@@ -8045,31 +4845,8 @@ tel
-- end of node redoptest__redoptest
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/demo/sample_time_change.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/demo/sample_time_change.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack sample_time_change
- export node make_cl1_4_2
- export node MainNode
- export node make_cl1_12_3
- export node sample_time_change
-*** SyntaxTab.create pass 3
- init symbol tables for pack sample_time_change
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- sample_time_change (pack)
-
- - Raw model table:
- - Raw Package table: sample_time_change
- - Package manager table: sample_time_change
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package sample_time_change
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/demo/sample_time_change.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/demo/sample_time_change.lus
node sample_time_change__make_cl1_4_2(in:bool) returns (out:bool);
var
cl1:bool;
@@ -8155,28 +4932,8 @@ tel
-- end of node sample_time_change__MainNode
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/bob.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/bob.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack bob
- export node bob
-*** SyntaxTab.create pass 3
- init symbol tables for pack bob
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- bob (pack)
-
- - Raw model table:
- - Raw Package table: bob
- - Package manager table: bob
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package bob
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/bob.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/bob.lus
node bob__bob(i:bool) returns (o:bool when i);
let
assert(true -> (i <> pre(i)));
@@ -8185,28 +4942,8 @@ tel
-- end of node bob__bob
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/def.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/def.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack def
- export node def
-*** SyntaxTab.create pass 3
- init symbol tables for pack def
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- def (pack)
-
- - Raw model table:
- - Raw Package table: def
- - Package manager table: def
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package def
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/def.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/def.lus
node def__def(i:bool) returns (a:bool; b:bool);
let
a = true;
@@ -8215,30 +4952,8 @@ tel
-- end of node def__def
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/ex.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/ex.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack ex
- export node trueNode
- export node ex
- export node id
-*** SyntaxTab.create pass 3
- init symbol tables for pack ex
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- ex (pack)
-
- - Raw model table:
- - Raw Package table: ex
- - Package manager table: ex
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package ex
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/ex.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/ex.lus
node ex__id(f:bool; a:bool) returns (g:bool);
let
g = (f or a);
@@ -8256,34 +4971,9 @@ tel
-- end of node ex__ex
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/iter.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/iter.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack iter
- export const n
- export node iter
- export node filled
- export node plus
- export node mapped
- export node garcia
-*** SyntaxTab.create pass 3
- init symbol tables for pack iter
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- iter (pack)
-
- - Raw model table:
- - Raw Package table: iter
- - Package manager table: iter
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package iter
- Exported types:
- Exported constants:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/iter.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/iter.lus
const iter__n = 5;
- Exported nodes:
node iter__filled(accu_in:int) returns (accu_out:int; elt:int);
let
accu_out = (accu_in + 1);
@@ -8333,32 +5023,8 @@ tel
-- end of node iter__plus
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/iterate.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/iterate.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack iterate
- export node redduced
- export node iterate
- export node filled
- export node mapped
- export node fill_redduced
-*** SyntaxTab.create pass 3
- init symbol tables for pack iterate
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- iterate (pack)
-
- - Raw model table:
- - Raw Package table: iterate
- - Package manager table: iterate
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package iterate
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/iterate.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/iterate.lus
node iterate__mapped(
elt_in1:int;
@@ -8438,31 +5104,8 @@ tel
-- end of node iterate__iterate
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/lecteur.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/lecteur.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack lecteur
- export node Propriete
- export node lecteur
- export node Controleur
- export node Environnement
-*** SyntaxTab.create pass 3
- init symbol tables for pack lecteur
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- lecteur (pack)
-
- - Raw model table:
- - Raw Package table: lecteur
- - Package manager table: lecteur
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package lecteur
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/lecteur.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/lecteur.lus
node lecteur__Propriete(vitesse:int) returns (ok:bool);
var
cpt:int;
@@ -8514,33 +5157,8 @@ tel
-- end of node lecteur__lecteur
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/lucky.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/lucky.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack lucky
- export node implies
- export node after
- export node lucky
- export node stable
- export node once_from_to
- export node once_since
-*** SyntaxTab.create pass 3
- init symbol tables for pack lucky
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- lucky (pack)
-
- - Raw model table:
- - Raw Package table: lucky
- - Package manager table: lucky
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package lucky
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/lucky.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/lucky.lus
node lucky__implies(X:bool; Y:bool) returns (XimpliesY:bool);
let
XimpliesY = (not(X) or Y);
@@ -8583,34 +5201,10 @@ tel
-- end of node lucky__lucky
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/morel.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/morel.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack morel
- export type arrayb
- export type arrayi
- export node tab
- export node morel
- export node mcmorel
-*** SyntaxTab.create pass 3
- init symbol tables for pack morel
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- morel (pack)
-
- - Raw model table:
- - Raw Package table: morel
- - Package manager table: morel
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package morel
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/morel.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/morel.lus
type morel__arrayb = bool^3;
type morel__arrayi = int^2^3;
- Exported constants:
- Exported nodes:
node morel__mcmorel(i:int) returns (t:int^2);
let
t = [i, i] -> [(pre(t[0]) + 1), (pre(t[1]) + 2)];
@@ -8656,37 +5250,12 @@ tel
-- end of node morel__morel
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/morel2.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/morel2.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack morel2
- export type a32
- export type arrayb
- export type a2
- export type arrayi
- export node morel2
- export node mcmorel
-*** SyntaxTab.create pass 3
- init symbol tables for pack morel2
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- morel2 (pack)
-
- - Raw model table:
- - Raw Package table: morel2
- - Package manager table: morel2
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package morel2
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/morel2.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/morel2.lus
type morel2__a2 = int^2;
type morel2__a32 = int^2^3;
type morel2__arrayb = bool^3;
type morel2__arrayi = int^2^3;
- Exported constants:
- Exported nodes:
node morel2__mcmorel(i:int) returns (t:int^2);
let
t = [i, i] -> [(pre(t[0]) + 1), (pre(t[1]) + 2)];
@@ -8720,34 +5289,10 @@ tel
-- end of node morel2__morel2
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/morel3.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/morel3.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack morel3
- export type arrayb
- export type arrayi
- export node morel3
- export node tab
- export node mcmorel
-*** SyntaxTab.create pass 3
- init symbol tables for pack morel3
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- morel3 (pack)
-
- - Raw model table:
- - Raw Package table: morel3
- - Package manager table: morel3
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package morel3
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/morel3.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/morel3.lus
type morel3__arrayb = bool^3;
type morel3__arrayi = int^2^3;
- Exported constants:
- Exported nodes:
node morel3__mcmorel(i:int) returns (t:int^2);
let
t = [i, i] -> [1, (pre(t[1]) + 2)];
@@ -8794,38 +5339,12 @@ tel
-- end of node morel3__morel3
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/morel4.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/morel4.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack morel4
- export type toto
- export type arrayb
- export type tube
- export type arrayi
- export node morel4
- export node tab
- export node mcmorel
-*** SyntaxTab.create pass 3
- init symbol tables for pack morel4
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- morel4 (pack)
-
- - Raw model table:
- - Raw Package table: morel4
- - Package manager table: morel4
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package morel4
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/morel4.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/morel4.lus
type morel4__tube = morel4::tube {in : int; out : int};
type morel4__toto = morel4::toto {titi : morel4::tube {in : int; out : int}; tutu : bool};
type morel4__arrayb = bool^3;
type morel4__arrayi = int^2^3;
- Exported constants:
- Exported nodes:
node morel4__mcmorel(i:int) returns (t:int^2);
var
yo:morel4::toto {titi : morel4::tube {in : int; out : int}; tutu : bool};
@@ -8878,38 +5397,12 @@ Warning. in file "should_work/fab_test/morel4.lus", line 33, col 22 to 22, token
---> separator mismatch, ';' expected
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/morel5.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/morel5.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack morel5
- export type toto
- export type arrayb
- export type tube
- export type arrayi
- export node morel5
- export node tab
- export node mcmorel
-*** SyntaxTab.create pass 3
- init symbol tables for pack morel5
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- morel5 (pack)
-
- - Raw model table:
- - Raw Package table: morel5
- - Package manager table: morel5
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package morel5
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/morel5.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/morel5.lus
type morel5__tube = morel5::tube {in : int; out : int};
type morel5__toto = morel5::toto {titi : morel5::tube {in : int; out : int}; tutu : bool};
type morel5__arrayb = bool^3;
type morel5__arrayi = int^2^3;
- Exported constants:
- Exported nodes:
node morel5__tab(
yo:morel5::toto {titi : morel5::tube {in : int;
@@ -8960,28 +5453,8 @@ tel
-- end of node morel5__mcmorel
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/noAlarm.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/noAlarm.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack noAlarm
- export node noAlarm
-*** SyntaxTab.create pass 3
- init symbol tables for pack noAlarm
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- noAlarm (pack)
-
- - Raw model table:
- - Raw Package table: noAlarm
- - Package manager table: noAlarm
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package noAlarm
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/noAlarm.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/noAlarm.lus
node noAlarm__noAlarm(alarm:bool) returns (ok:bool);
let
ok = not(alarm);
@@ -8989,28 +5462,8 @@ tel
-- end of node noAlarm__noAlarm
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/notTwo.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/notTwo.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack notTwo
- export node notTwo
-*** SyntaxTab.create pass 3
- init symbol tables for pack notTwo
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- notTwo (pack)
-
- - Raw model table:
- - Raw Package table: notTwo
- - Package manager table: notTwo
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package notTwo
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/notTwo.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/notTwo.lus
node notTwo__notTwo(a:bool; b:bool) returns (o:bool);
let
o = not((a and b));
@@ -9018,79 +5471,8 @@ tel
-- end of node notTwo__notTwo
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/onlyroll.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/onlyroll.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack onlyroll
- export const NRminP
- export const NRmaxP
- export const NRminR
- export const DELTA_PITCH
- export const NRmaxR
- export const FAIL_SAFE_PITCH_VALUE
- export const DELTA_YAW
- export const HORminP
- export const NRminY
- export const XFAIL_SAFE_ROLL_VALUE
- export const HORmaxP
- export const HORminR
- export const NRmaxY
- export const HORmaxR
- export const CROSS_CH_TOL_PITCH
- export const HORminY
- export const FAIL_SAFE_YAW_VALUE
- export const HORmaxY
- export const OneSecond
- export const FAIL_SAFE_ROLL_VALUE
- export const DELTA_ROLL
- export const TIME_ROLL
- export const CROSS_CH_TOL_ROLL
- export const TIME5
- export const BID_LAST
- export const SAFE_COUNTER_TIME
- export const BID_VAL
- export const TIME_CROSS_ROLL
- export const CROSS_CH_TOL_YAW
- export node Calculate
- export node onlyroll
- export node Median
- export node oneoffour
- export node MedianValue3
- export node Monitor
- export node Allocator
- export node Channel
- export node min2
- export node min4
- export node max2
- export node max4
- export node OlympicAverage
- export node InHardoverRange
- export node twooffour
- export node noneof
- export node threeoffour
- export node InNominalRange
- export node FailDetect
- export node abs
- export node Average2
- export node Average
- export node maintain
- export node values_nok
-*** SyntaxTab.create pass 3
- init symbol tables for pack onlyroll
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- onlyroll (pack)
-
- - Raw model table:
- - Raw Package table: onlyroll
- - Package manager table: onlyroll
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package onlyroll
- Exported types:
- Exported constants:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/onlyroll.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/onlyroll.lus
const onlyroll__NRminP = -5.100000;
const onlyroll__NRminR = -25.300000;
const onlyroll__NRmaxP = 5.100000;
@@ -9120,7 +5502,6 @@ const onlyroll__SAFE_COUNTER_TIME = 3;
const onlyroll__BID_VAL = 3.300000;
const onlyroll__CROSS_CH_TOL_YAW = 10.000000;
const onlyroll__TIME_CROSS_ROLL = 3;
- Exported nodes:
node onlyroll__noneof(
f1:bool;
@@ -9574,79 +5955,8 @@ tel
-- end of node onlyroll__InHardoverRange
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/onlyroll2.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/onlyroll2.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack onlyroll2
- export const NRminP
- export const NRmaxP
- export const NRminR
- export const DELTA_PITCH
- export const NRmaxR
- export const FAIL_SAFE_PITCH_VALUE
- export const DELTA_YAW
- export const HORminP
- export const NRminY
- export const XFAIL_SAFE_ROLL_VALUE
- export const HORmaxP
- export const HORminR
- export const NRmaxY
- export const HORmaxR
- export const CROSS_CH_TOL_PITCH
- export const HORminY
- export const FAIL_SAFE_YAW_VALUE
- export const HORmaxY
- export const OneSecond
- export const FAIL_SAFE_ROLL_VALUE
- export const DELTA_ROLL
- export const TIME_ROLL
- export const CROSS_CH_TOL_ROLL
- export const TIME5
- export const BID_LAST
- export const SAFE_COUNTER_TIME
- export const BID_VAL
- export const TIME_CROSS_ROLL
- export const CROSS_CH_TOL_YAW
- export node Calculate
- export node Median
- export node onlyroll2
- export node oneoffour
- export node MedianValue3
- export node Monitor
- export node Allocator
- export node Channel
- export node min2
- export node min4
- export node max2
- export node max4
- export node OlympicAverage
- export node InHardoverRange
- export node twooffour
- export node noneof
- export node threeoffour
- export node InNominalRange
- export node FailDetect
- export node abs
- export node Average2
- export node Average
- export node maintain
- export node values_nok
-*** SyntaxTab.create pass 3
- init symbol tables for pack onlyroll2
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- onlyroll2 (pack)
-
- - Raw model table:
- - Raw Package table: onlyroll2
- - Package manager table: onlyroll2
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package onlyroll2
- Exported types:
- Exported constants:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/onlyroll2.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/onlyroll2.lus
const onlyroll2__NRminP = -5.100000;
const onlyroll2__NRminR = -25.300000;
const onlyroll2__NRmaxP = 5.100000;
@@ -9676,7 +5986,6 @@ const onlyroll2__SAFE_COUNTER_TIME = 3;
const onlyroll2__BID_VAL = 3.300000;
const onlyroll2__CROSS_CH_TOL_YAW = 10.000000;
const onlyroll2__TIME_CROSS_ROLL = 3;
- Exported nodes:
node onlyroll2__noneof(
f1:bool;
@@ -10133,30 +6442,8 @@ tel
-- end of node onlyroll2__InHardoverRange
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/test.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/test.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack test
- export node three_outputs
- export node test
- export node two_outputs
-*** SyntaxTab.create pass 3
- init symbol tables for pack test
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- test (pack)
-
- - Raw model table:
- - Raw Package table: test
- - Package manager table: test
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package test
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/test.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/test.lus
node test__three_outputs(
c1:bool;
@@ -10193,28 +6480,8 @@ tel
-- end of node test__test
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/titi.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/titi.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack titi
- export node titi
-*** SyntaxTab.create pass 3
- init symbol tables for pack titi
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- titi (pack)
-
- - Raw model table:
- - Raw Package table: titi
- - Package manager table: titi
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package titi
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/titi.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/titi.lus
node titi__titi(a:bool; b:bool) returns (x:bool);
let
x = current (a when b);
@@ -10222,46 +6489,14 @@ tel
-- end of node titi__titi
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/toolate.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/toolate.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack toolate
- export type tab1
- export type tab2
- export type tab3
- export type bool4
- export type really
- export const ze_const_int
- export node edge_detect
- export node implies
- export node after
- export node bidon
- export node once_from_to
- export node once_since
- export node toolate
-*** SyntaxTab.create pass 3
- init symbol tables for pack toolate
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- toolate (pack)
-
- - Raw model table:
- - Raw Package table: toolate
- - Package manager table: toolate
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package toolate
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/toolate.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/toolate.lus
type toolate__tab1 = int^2;
type toolate__tab2 = int^3^4;
type toolate__tab3 = int^5^6^7;
const toolate__ze_const_int = 5;
type toolate__bool4 = bool^5;
type toolate__really = real;
- Exported constants:
- Exported nodes:
node toolate__bidon(in:bool) returns (out1:bool; out2:bool);
var
toto:int^2;
@@ -10318,28 +6553,8 @@ tel
-- end of node toolate__toolate
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/toto.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/toto.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack toto
- export node toto
-*** SyntaxTab.create pass 3
- init symbol tables for pack toto
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- toto (pack)
-
- - Raw model table:
- - Raw Package table: toto
- - Package manager table: toto
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package toto
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/fab_test/toto.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/fab_test/toto.lus
node toto__toto(a:bool; b:bool) returns (x:bool);
var
c:bool when b;
@@ -10350,30 +6565,8 @@ tel
-- end of node toto__toto
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/FillFollowedByRed.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/FillFollowedByRed.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack FillFollowedByRed
- export node reduced
- export node filled
- export node FillFollowedByRed
-*** SyntaxTab.create pass 3
- init symbol tables for pack FillFollowedByRed
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- FillFollowedByRed (pack)
-
- - Raw model table:
- - Raw Package table: FillFollowedByRed
- - Package manager table: FillFollowedByRed
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package FillFollowedByRed
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/FillFollowedByRed.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/FillFollowedByRed.lus
node FillFollowedByRed__reduced(
acc_in:bool;
@@ -10411,66 +6604,11 @@ tel
-- end of node FillFollowedByRed__FillFollowedByRed
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/Gyroscope.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/Gyroscope.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack Gyroscope
- export type Faulty_ChannelT
- export type Faulty_Array
- export type Valid_ChannelT
- export const DELTA_PITCH
- export const DELTA_YAW
- export const DELTA_TO_GOD_YAW
- export const DELTA_ROLL
- export const GOD_PITCH
- export const GOD_YAW
- export const GOD_ROLL
- export const DELTA_TO_GOD_ROLL
- export const TIME
- export const DELTA_TO_GOD_PITCH
- export node ValueIsSecureII
- export node countFalse
- export node assumeEvaluateAxis
- export node Gyroscope
- export node assumeChannel
- export node assumeSum
- export node Voter
- export node Channel
- export node Voter2
- export node guaranteeChannel
- export node TooFar
- export node countValidChannels
- export node iteratedVoter
- export node assumeVoter
- export node min_int
- export node guaranteeEvaluateAxis
- export node ValueIsSecure
- export node EvaluateAxis
- export node masking
- export node guaranteeSum
- export node abs
- export node sum
- export node guaranteeVoter
- export node Maintain
-*** SyntaxTab.create pass 3
- init symbol tables for pack Gyroscope
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- Gyroscope (pack)
-
- - Raw model table:
- - Raw Package table: Gyroscope
- - Package manager table: Gyroscope
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package Gyroscope
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/Gyroscope.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/Gyroscope.lus
type Gyroscope__Faulty_ChannelT = Gyroscope::Faulty_ChannelT {valuea : real; valueb : real};
type Gyroscope__Faulty_Array = Gyroscope::Faulty_ChannelT {valuea : real; valueb : real}^4^3;
type Gyroscope__Valid_ChannelT = Gyroscope::Valid_ChannelT {local_failure : bool; local_value : real};
- Exported constants:
const Gyroscope__DELTA_PITCH = 2.000000;
const Gyroscope__DELTA_YAW = 2.000000;
const Gyroscope__DELTA_TO_GOD_YAW = 2.000000;
@@ -10481,7 +6619,6 @@ const Gyroscope__GOD_YAW = 14.000000;
const Gyroscope__DELTA_TO_GOD_ROLL = 2.000000;
const Gyroscope__TIME = 3;
const Gyroscope__DELTA_TO_GOD_PITCH = 2.000000;
- Exported nodes:
node Gyroscope__abs(in:real) returns (out:real);
let
out = if ((in < 0.0)) then (-(in)) else (in);
@@ -10800,47 +6937,14 @@ tel
-- end of node Gyroscope__guaranteeVoter
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/ProduitBool/produitBool.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/ProduitBool/produitBool.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack produitBool
- export type Tacc_in
- export type T_isElementOf_
- export type Tacc_inShift2
- export type iteratedStruct
- export type Tacc_inShift
- export const size
- export node _isElementOf_
- export node shift
- export node shiftFill
- export node selectOneStage
- export node iterated_isElementOf_
- export node selectElementOfRank_inArray_
- export node produitBool
- export node PLC
-*** SyntaxTab.create pass 3
- init symbol tables for pack produitBool
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- produitBool (pack)
-
- - Raw model table:
- - Raw Package table: produitBool
- - Package manager table: produitBool
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package produitBool
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/ProduitBool/produitBool.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/ProduitBool/produitBool.lus
const produitBool__size = 10;
type produitBool__Tacc_in = produitBool::Tacc_in {multiplieur : bool^10; rank : int};
type produitBool__T_isElementOf_ = produitBool::T_isElementOf_ {eltToSearch : bool; iselementof : bool};
type produitBool__iteratedStruct = produitBool::iteratedStruct {currentRank : int; rankToSelect : int; elementSelected : bool};
type produitBool__Tacc_inShift2 = produitBool::Tacc_inShift2 {multiplieur : bool^10; rank : int; actual_rank : int};
type produitBool__Tacc_inShift = produitBool::Tacc_inShift {acc_in_PLC : produitBool::Tacc_in {multiplieur : bool^10; rank : int}; actual_rank : int};
- Exported constants:
- Exported nodes:
node produitBool__iterated_isElementOf_(
acc_in:produitBool::T_isElementOf_ {eltToSearch : bool;
@@ -10960,40 +7064,8 @@ tel
-- end of node produitBool__PLC
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/ProduitBool/shiftFill_ludic.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/ProduitBool/shiftFill_ludic.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack shiftFill_ludic
- export type T1_ARRAY
- export type T4_STRUCT
- export type T6_STRUCT
- export type t_Tacc_inShift
- export type T5_STRUCT
- export type t_T_isElementOf_
- export type T2_STRUCT
- export type t_Tacc_in
- export type t_Tacc_inShift2
- export type T3_STRUCT
- export type t_iteratedStruct
- export const c_size
- export node n_shiftFill
- export node n_selectElementOfRank_inArray_
- export node n_selectOneStage
-*** SyntaxTab.create pass 3
- init symbol tables for pack shiftFill_ludic
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- shiftFill_ludic (pack)
-
- - Raw model table:
- - Raw Package table: shiftFill_ludic
- - Package manager table: shiftFill_ludic
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package shiftFill_ludic
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/ProduitBool/shiftFill_ludic.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/ProduitBool/shiftFill_ludic.lus
type shiftFill_ludic__T1_ARRAY = bool^10;
type shiftFill_ludic__T4_STRUCT = shiftFill_ludic::T4_STRUCT {multiplieur : bool^10; rank : int};
type shiftFill_ludic__T6_STRUCT = shiftFill_ludic::T6_STRUCT {eltToSearch : bool; iselementof : bool};
@@ -11005,9 +7077,7 @@ type shiftFill_ludic__t_Tacc_in = shiftFill_ludic::T4_STRUCT {multiplieur : bool
type shiftFill_ludic__t_Tacc_inShift2 = shiftFill_ludic::T2_STRUCT {multiplieur : bool^10; rank : int; actual_rank : int};
type shiftFill_ludic__T3_STRUCT = shiftFill_ludic::T3_STRUCT {currentRank : int; rankToSelect : int; elementSelected : bool};
type shiftFill_ludic__t_iteratedStruct = shiftFill_ludic::T3_STRUCT {currentRank : int; rankToSelect : int; elementSelected : bool};
- Exported constants:
const shiftFill_ludic__c_size = 10;
- Exported nodes:
node shiftFill_ludic__n_selectOneStage(
i_acc_in:shiftFill_ludic::T3_STRUCT {currentRank : int;
@@ -11062,42 +7132,8 @@ tel
-- end of node shiftFill_ludic__n_shiftFill
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/ProduitBool/shift_ludic.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/ProduitBool/shift_ludic.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack shift_ludic
- export type T1_ARRAY
- export type T4_STRUCT
- export type T6_STRUCT
- export type T3_ARRAY
- export type t_Tacc_inShift
- export type T5_STRUCT
- export type t_T_isElementOf_
- export type T7_STRUCT
- export type T2_STRUCT
- export type t_Tacc_in
- export type t_Tacc_inShift2
- export type t_iteratedStruct
- export const c_size
- export node n_shift
- export node n_shiftFill
- export node n_selectElementOfRank_inArray_
- export node n_selectOneStage
-*** SyntaxTab.create pass 3
- init symbol tables for pack shift_ludic
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- shift_ludic (pack)
-
- - Raw model table:
- - Raw Package table: shift_ludic
- - Package manager table: shift_ludic
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package shift_ludic
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/ProduitBool/shift_ludic.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/ProduitBool/shift_ludic.lus
type shift_ludic__T1_ARRAY = bool^10;
type shift_ludic__T4_STRUCT = shift_ludic::T4_STRUCT {currentRank : int; rankToSelect : int; elementSelected : bool};
type shift_ludic__T5_STRUCT = shift_ludic::T5_STRUCT {multiplieur : bool^10; rank : int};
@@ -11110,9 +7146,7 @@ type shift_ludic__T2_STRUCT = shift_ludic::T2_STRUCT {multiplieur : bool^10; ran
type shift_ludic__t_Tacc_in = shift_ludic::T5_STRUCT {multiplieur : bool^10; rank : int};
type shift_ludic__t_Tacc_inShift2 = shift_ludic::T2_STRUCT {multiplieur : bool^10; rank : int; actual_rank : int};
type shift_ludic__t_iteratedStruct = shift_ludic::T4_STRUCT {currentRank : int; rankToSelect : int; elementSelected : bool};
- Exported constants:
const shift_ludic__c_size = 10;
- Exported nodes:
node shift_ludic__n_selectOneStage(
i_acc_in:shift_ludic::T4_STRUCT {currentRank : int;
@@ -11180,41 +7214,8 @@ tel
-- end of node shift_ludic__n_shift
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/arrays.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/arrays.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack arrays
- export type tab3d
- export type word
- export type byte
- export type long
- export const m
- export const n
- export const p
- export node incr
- export node big_or
- export node big_sum
- export node arrays
- export node big_incr
- export node add_byte
- export node full_adder
- export node add_long
- export node big_xor
-*** SyntaxTab.create pass 3
- init symbol tables for pack arrays
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- arrays (pack)
-
- - Raw model table:
- - Raw Package table: arrays
- - Package manager table: arrays
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package arrays
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/arrays.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/arrays.lus
const arrays__n = 4;
const arrays__m = 3;
const arrays__p = 2;
@@ -11222,8 +7223,6 @@ type arrays__tab3d = int^4^3^2;
type arrays__byte = bool^4;
type arrays__word = bool^4^3;
type arrays__long = bool^4^3^2;
- Exported constants:
- Exported nodes:
node arrays__incr(accin:int) returns (accout:int; val:int);
let
accout = (accin + 1);
@@ -11303,40 +7302,13 @@ tel
-- end of node arrays__add_byte
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/calculs_max.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/calculs_max.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack calculs_max
- export type bool_arrays
- export type int_arrays
- export type struct_fill_bool
- export type struct_max
- export const taille
- export node fill_bool
- export node max
- export node calculs_max
-*** SyntaxTab.create pass 3
- init symbol tables for pack calculs_max
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- calculs_max (pack)
-
- - Raw model table:
- - Raw Package table: calculs_max
- - Package manager table: calculs_max
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package calculs_max
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/calculs_max.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/calculs_max.lus
const calculs_max__taille = 10;
type calculs_max__bool_arrays = bool^10;
type calculs_max__int_arrays = int^10;
type calculs_max__struct_fill_bool = calculs_max::struct_fill_bool {imax1 : int; imax2 : int; icourant : int};
type calculs_max__struct_max = calculs_max::struct_max {max1 : int; max2 : int; imax1 : int; imax2 : int; icourant : int};
- Exported constants:
- Exported nodes:
node calculs_max__max(
strin:calculs_max::struct_max {max1 : int;
@@ -11392,37 +7364,11 @@ tel
-- end of node calculs_max__calculs_max
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/deSimone.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/deSimone.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack deSimone
- export type tabType
- export type cell_accu
- export const size
- export node oneCell
- export node prop1_iter
- export node deSimone
- export node prop1
-*** SyntaxTab.create pass 3
- init symbol tables for pack deSimone
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- deSimone (pack)
-
- - Raw model table:
- - Raw Package table: deSimone
- - Package manager table: deSimone
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package deSimone
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/deSimone.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/deSimone.lus
const deSimone__size = 10;
type deSimone__tabType = bool^10;
type deSimone__cell_accu = deSimone::cell_accu {token : bool; grant : bool};
- Exported constants:
- Exported nodes:
*** Error in file "should_work/lionel/deSimone.lus", line 51, col 23 to 30, token 'deSimone': type error:
*** arity error: 2 argument(s) are expected, whereas 1 is/are provided
@@ -11467,31 +7413,9 @@ tel
-- end of node deSimone__deSimone
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/iterFibo.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/iterFibo.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack iterFibo
- export type T_fibo
- export node iterFibo
- export node fibo
-*** SyntaxTab.create pass 3
- init symbol tables for pack iterFibo
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- iterFibo (pack)
-
- - Raw model table:
- - Raw Package table: iterFibo
- - Package manager table: iterFibo
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package iterFibo
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/iterFibo.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/iterFibo.lus
type iterFibo__T_fibo = int^2;
- Exported constants:
- Exported nodes:
node iterFibo__fibo(accu_in:int^2) returns (accu_out:int^2; elt:int);
let
accu_out = [(accu_in[0] + accu_in[1]), accu_in[0]];
@@ -11507,44 +7431,12 @@ tel
-- end of node iterFibo__iterFibo
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/mapiter.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/mapiter.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack mapiter
- export type T_Reg_H
- export type Reg_L
- export const H
- export const L
- export node incr
- export node map_egal
- export node initmat
- export node reducemat
- export node mapiter
- export node fill_bitalt
- export node bitalt
- export node composemat
- export node red_incr
-*** SyntaxTab.create pass 3
- init symbol tables for pack mapiter
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- mapiter (pack)
-
- - Raw model table:
- - Raw Package table: mapiter
- - Package manager table: mapiter
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package mapiter
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/mapiter.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/mapiter.lus
const mapiter__L = 2;
type mapiter__Reg_L = bool^2;
const mapiter__H = 3;
type mapiter__T_Reg_H = bool^2^3;
- Exported constants:
- Exported nodes:
node mapiter__incr(init:int; b:bool) returns (res:int);
let
res = if ((b = true)) then ((init + 1)) else (init);
@@ -11602,35 +7494,11 @@ tel
-- end of node mapiter__mapiter
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/matrice.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/matrice.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack matrice
- export type T_fibo
- export const m
- export const n
- export node matrice
- export node fibo
-*** SyntaxTab.create pass 3
- init symbol tables for pack matrice
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- matrice (pack)
-
- - Raw model table:
- - Raw Package table: matrice
- - Package manager table: matrice
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package matrice
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/matrice.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/matrice.lus
type matrice__T_fibo = int^2;
- Exported constants:
const matrice__m = 3;
const matrice__n = 2;
- Exported nodes:
node matrice__fibo(accu_in:int^2) returns (accu_out:int^2; elt:int);
let
accu_out = [(accu_in[0] + accu_in[1]), accu_in[0]];
@@ -11646,32 +7514,10 @@ tel
-- end of node matrice__matrice
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/matrice2.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/matrice2.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack matrice2
- export const m
- export const n
- export node matrice2
-*** SyntaxTab.create pass 3
- init symbol tables for pack matrice2
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- matrice2 (pack)
-
- - Raw model table:
- - Raw Package table: matrice2
- - Package manager table: matrice2
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package matrice2
- Exported types:
- Exported constants:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/matrice2.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/matrice2.lus
const matrice2__m = 2;
const matrice2__n = 2;
- Exported nodes:
node matrice2__matrice2(a:int) returns (res:int);
let
res = red<<node Lustre__red<<node Lustre__+, const 2>>, const 2>>(0,
@@ -11680,33 +7526,10 @@ tel
-- end of node matrice2__matrice2
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/minus.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/minus.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack minus
- export const m
- export const n
- export node minus
- export node bitalt
-*** SyntaxTab.create pass 3
- init symbol tables for pack minus
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- minus (pack)
-
- - Raw model table:
- - Raw Package table: minus
- - Package manager table: minus
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package minus
- Exported types:
- Exported constants:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/minus.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/minus.lus
const minus__m = 2;
const minus__n = 3;
- Exported nodes:
node minus__bitalt(a:bool) returns (out:bool; b:bool);
let
b = a;
@@ -11735,33 +7558,10 @@ tel
-- end of node minus__minus
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/moyenne.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/moyenne.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack moyenne
- export type moyenne_accu
- export const size
- export node moyenne_step
- export node moyenne
-*** SyntaxTab.create pass 3
- init symbol tables for pack moyenne
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- moyenne (pack)
-
- - Raw model table:
- - Raw Package table: moyenne
- - Package manager table: moyenne
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package moyenne
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/moyenne.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/moyenne.lus
type moyenne__moyenne_accu = moyenne::moyenne_accu {sum : real; moyenne : real; rank : real};
- Exported constants:
const moyenne__size = 10;
- Exported nodes:
node moyenne__moyenne_step(
accu_in:moyenne::moyenne_accu {sum : real;
@@ -11788,71 +7588,8 @@ tel
-- end of node moyenne__moyenne
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/normal.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/normal.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack normal
- export type INTNBC
- export type T_EntreeGlob
- export type INTNBG
- export type T_ComChg
- export type T_InfoGenIndiv
- export type T_EtatCharge
- export type T_InfoChgGlob
- export type T_InfoChgIndiv
- export type T_InfoGenGlob
- export const EC_LESTAGE
- export const COM_ON
- export const EC_OFF
- export const COM_OFF
- export const EC_NON_CTRL
- export const EC_DELESTAGE
- export const EC_ON
- export const NBC
- export const NBG
- export const COM_ERR
- export node copie
- export node egal_indice
- export node extract_tab_info_gen_indiv
- export node extract_tab_info_chg_indiv
- export node essai_traite_gen
- export node fusion_com
- export node extrCharge
- export node essai2
- export node traite_genCore_itere
- export node essai3
- export node trChItere
- export node fusion_tab_com
- export node traite_gen_core
- export node extract_info_chg_glob
- export node int2InfoGenIndiv
- export node traite_gen
- export node extract_info_gen_glob
- export node traite_charge
- export node int2InfoChgIndiv
- export node extrGen
- export node traiteGen
- export node fusion_une_com
- export node incr_acc
- export node id
- export node normal
- export node traiteChg
- export node traite_gen_bis
-*** SyntaxTab.create pass 3
- init symbol tables for pack normal
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- normal (pack)
-
- - Raw model table:
- - Raw Package table: normal
- - Package manager table: normal
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package normal
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/normal.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/normal.lus
const normal__NBC = 20;
type normal__INTNBC = int^20;
const normal__NBG = 4;
@@ -11864,7 +7601,6 @@ type normal__T_EtatCharge = int;
type normal__T_InfoChgGlob = normal::T_InfoChgGlob {chg2gen : int^20};
type normal__T_InfoChgIndiv = normal::T_InfoChgIndiv {mesure_chg : int};
type normal__T_InfoGenGlob = normal::T_InfoGenGlob {elt_bidon : int; chg2gen : int^20};
- Exported constants:
const normal__EC_LESTAGE = 3;
const normal__COM_ON = 1;
const normal__EC_OFF = 1;
@@ -11873,7 +7609,6 @@ const normal__EC_NON_CTRL = 2;
const normal__EC_DELESTAGE = 4;
const normal__EC_ON = 0;
const normal__COM_ERR = 0;
- Exported nodes:
node normal__int2InfoChgIndiv(
m:int)
@@ -12209,31 +7944,9 @@ tel
-- end of node normal__traite_gen_bis
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/pipeline.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/pipeline.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack pipeline
- export const size
- export node oneStep_pipe
- export node pipeline
-*** SyntaxTab.create pass 3
- init symbol tables for pack pipeline
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- pipeline (pack)
-
- - Raw model table:
- - Raw Package table: pipeline
- - Package manager table: pipeline
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package pipeline
- Exported types:
- Exported constants:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/pipeline.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/pipeline.lus
const pipeline__size = 10;
- Exported nodes:
node pipeline__oneStep_pipe(
accu_in:bool;
@@ -12256,50 +7969,14 @@ tel
-- end of node pipeline__pipeline
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/predefOp.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/predefOp.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack predefOp
- export type T_Reg_H
- export type T_Tab_H
- export type Reg_L
- export type Tab_L
- export const H
- export const L
- export node incr
- export node predefOp2
- export node composematint
- export node incremental
- export node reducematbool
- export node reducematint
- export node initmatbool
- export node bitalt
- export node initmatint
- export node predefOp
- export node composematbool
-*** SyntaxTab.create pass 3
- init symbol tables for pack predefOp
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- predefOp (pack)
-
- - Raw model table:
- - Raw Package table: predefOp
- - Package manager table: predefOp
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package predefOp
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/predefOp.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/predefOp.lus
const predefOp__L = 2;
type predefOp__Reg_L = bool^2;
const predefOp__H = 3;
type predefOp__T_Reg_H = bool^2^3;
type predefOp__Tab_L = int^2;
type predefOp__T_Tab_H = int^2^3;
- Exported constants:
- Exported nodes:
node predefOp__incr(init:int; b:bool) returns (res:int);
let
res = if ((b = true)) then ((init + 1)) else (init);
@@ -12402,29 +8079,8 @@ tel
-- end of node predefOp__predefOp
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/redIf.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/redIf.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack redIf
- export node monIf
- export node redIf
-*** SyntaxTab.create pass 3
- init symbol tables for pack redIf
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- redIf (pack)
-
- - Raw model table:
- - Raw Package table: redIf
- - Package manager table: redIf
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package redIf
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/redIf.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/redIf.lus
node redIf__monIf(a:bool; b:bool; c:bool) returns (r:bool);
let
r = if (a) then (b) else (c);
@@ -12437,32 +8093,10 @@ tel
-- end of node redIf__redIf
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/simpleRed.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/simpleRed.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack simpleRed
- export const m
- export const n
- export node simpleRed
-*** SyntaxTab.create pass 3
- init symbol tables for pack simpleRed
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- simpleRed (pack)
-
- - Raw model table:
- - Raw Package table: simpleRed
- - Package manager table: simpleRed
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package simpleRed
- Exported types:
- Exported constants:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/simpleRed.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/simpleRed.lus
const simpleRed__m = 3;
const simpleRed__n = 2;
- Exported nodes:
node simpleRed__simpleRed(a:int) returns (res:int);
let
res = red<<node Lustre__+, const 3>>(0, a^3);
@@ -12470,69 +8104,8 @@ tel
-- end of node simpleRed__simpleRed
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/testSilus.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/testSilus.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack testSilus
- export type INTNBC
- export type T_EntreeGlob
- export type INTNBG
- export type T_ComChg
- export type T_InfoGenIndiv
- export type BOOLNBC
- export type T_EtatCharge
- export type T_InfoChgGlob
- export type T_InfoChgIndiv
- export type T_ComChgNBC
- export type T_InfoGenGlob
- export const EC_LESTAGE
- export const COM_ON
- export const EC_OFF
- export const COM_OFF
- export const EC_NON_CTRL
- export const EC_DELESTAGE
- export const EC_ON
- export const NBC
- export const NBG
- export const COM_ERR
- export node copie
- export node egal_indice
- export node extract_tab_info_gen_indiv
- export node extract_tab_info_chg_indiv
- export node fusion_com
- export node extrCharge
- export node traite_genCore_itere
- export node trChItere
- export node fusion_tab_com
- export node traite_gen_core
- export node extract_info_chg_glob
- export node int2InfoGenIndiv
- export node traite_gen
- export node extract_info_gen_glob
- export node traite_charge
- export node testSilus
- export node int2InfoChgIndiv
- export node extrGen
- export node traiteGen
- export node fusion_une_com
- export node incr_acc
- export node id
- export node traiteChg
-*** SyntaxTab.create pass 3
- init symbol tables for pack testSilus
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- testSilus (pack)
-
- - Raw model table:
- - Raw Package table: testSilus
- - Package manager table: testSilus
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package testSilus
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/testSilus.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/testSilus.lus
const testSilus__NBC = 20;
type testSilus__INTNBC = int^20;
const testSilus__NBG = 4;
@@ -12546,7 +8119,6 @@ type testSilus__T_InfoChgGlob = testSilus::T_InfoChgGlob {chg2gen : int^20};
type testSilus__T_InfoChgIndiv = testSilus::T_InfoChgIndiv {mesure_chg : int};
type testSilus__T_ComChgNBC = int^20;
type testSilus__T_InfoGenGlob = testSilus::T_InfoGenGlob {elt_bidon : int; chg2gen : int^20};
- Exported constants:
const testSilus__EC_LESTAGE = 3;
const testSilus__COM_ON = 1;
const testSilus__EC_OFF = 1;
@@ -12555,7 +8127,6 @@ const testSilus__EC_NON_CTRL = 2;
const testSilus__EC_DELESTAGE = 4;
const testSilus__EC_ON = 0;
const testSilus__COM_ERR = 0;
- Exported nodes:
node testSilus__int2InfoChgIndiv(
m:int)
@@ -12835,39 +8406,8 @@ tel
-- end of node testSilus__testSilus
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/triSel.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/lionel/triSel.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack triSel
- export type tabSize
- export type Sort_accu
- export type MinFR_accu
- export type Select_accu
- export type sorted_iter_accu
- export type Exchange_accu
- export const size
- export node minFromRank
- export node triSel
- export node Exchange_i_j
- export node Sorted
- export node sorted_iter
- export node select
- export node UnarySort
-*** SyntaxTab.create pass 3
- init symbol tables for pack triSel
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- triSel (pack)
-
- - Raw model table:
- - Raw Package table: triSel
- - Package manager table: triSel
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package triSel
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/lionel/triSel.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/lionel/triSel.lus
const triSel__size = 50;
type triSel__tabSize = int^50;
type triSel__Sort_accu = triSel::Sort_accu {CurrentRank : int; Tab : int^50};
@@ -12875,8 +8415,6 @@ type triSel__Select_accu = triSel::Select_accu {RankToFind : int; CurrentRank :
type triSel__MinFR_accu = triSel::MinFR_accu {MinVal : int; MinRank : int; RankFrom : int; Rank : int};
type triSel__sorted_iter_accu = triSel::sorted_iter_accu {prev_elt : int; prop_is_tt : bool};
type triSel__Exchange_accu = triSel::Exchange_accu {MinVal : int; MinRank : int; RankFrom : int; CurrentVal : int; Rank : int};
- Exported constants:
- Exported nodes:
node triSel__minFromRank(
accu_in:triSel::MinFR_accu {MinVal : int;
@@ -13002,51 +8540,15 @@ tel
-- end of node triSel__Sorted
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/packEnvTest/Condact.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/Condact.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack Main
- export node Condact
- init pack TestCondact
- export node C
- export type t1
- export type t2
- export node n
- init pack Util
- export node carre
-*** SyntaxTab.create pass 3
- init symbol tables for pack Main
- init symbol tables for pack TestCondact
- init symbol tables for pack Util
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- Util (pack)
- TestCondact (pack)
- Condact (model)
- Main (pack)
-
- - Raw model table: Condact
- - Raw Package table: Main TestCondact Util
- - Package manager table: Main TestCondact Util
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package Util
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/packEnvTest/Condact.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/packEnvTest/Condact.lus
node Util__carre(e:int) returns (s:int);
let
s = (e * e);
tel
-- end of node Util__carre
- * package TestCondact
- Exported types:
type TestCondact__t1 = int;
type TestCondact__t2 = int;
- Exported constants:
- Exported nodes:
node TestCondact__n(e:int) returns (s:int);
let
s = Util__carre(e);
@@ -13057,10 +8559,6 @@ let
y = if (c) then (current (TestCondact__n(x))) else (d -> pre(y));
tel
-- end of node TestCondact__C
- * package Main
- Exported types:
- Exported constants:
- Exported nodes:
node Main__Condact(c:bool; d:int; x:int) returns (y:int);
let
y = TestCondact__C(c, d, x);
@@ -13068,35 +8566,11 @@ tel
-- end of node Main__Condact
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack contractForElementSelectionInArray
- export type iteratedStruct
- export type elementType
- export const size
- export node selectOneStage
- export node selectEltInArray
-*** SyntaxTab.create pass 3
- init symbol tables for pack contractForElementSelectionInArray
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- contractForElementSelectionInArray (pack)
-
- - Raw model table:
- - Raw Package table: contractForElementSelectionInArray
- - Package manager table: contractForElementSelectionInArray
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package contractForElementSelectionInArray
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus
type contractForElementSelectionInArray__elementType = int;
type contractForElementSelectionInArray__iteratedStruct = contractForElementSelectionInArray::iteratedStruct {currentRank : int; rankToSelect : int; elementSelected : int};
- Exported constants:
const contractForElementSelectionInArray__size = 10;
- Exported nodes:
node contractForElementSelectionInArray__selectOneStage(
acc_in:contractForElementSelectionInArray::iteratedStruct {currentRank : int;
@@ -13132,53 +8606,12 @@ tel
-- end of node contractForElementSelectionInArray__selectEltInArray
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/packEnvTest/contractForElementSelectionInArray/main.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/contractForElementSelectionInArray/main.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack main
- export node main
- init pack util
- export node igt
- init pack intArray
- export type arrayType
- export node selectElementOfRank_inArray_
- export node getMaximumIn_
- export node getRank_ofMaximumIn_
- export node getMinimumIn_
- export node getRank_ofMinimumIn_
- export node _isLoselySorted
- export node sort_
- export node _isElementOf_
- export type elementType
- export const size
- export node _isEqualTo_
- export node _isGreaterThan_
-*** SyntaxTab.create pass 3
- init symbol tables for pack main
- init symbol tables for pack util
- init symbol tables for pack intArray
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- util (pack)
- intArray (pack)
- main (pack)
- packageTableau (model)
-
- - Raw model table: packageTableau
- - Raw Package table: main util intArray
- - Package manager table: main util intArray
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package intArray
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/packEnvTest/contractForElementSelectionInArray/main.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/packEnvTest/contractForElementSelectionInArray/main.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus
type intArray__elementType = int;
const intArray__size = 10;
type intArray__arrayType = int^10;
- Exported constants:
- Exported nodes:
node util__igt(i:int; j:int) returns (res:bool);
let
res = (i > j);
@@ -13474,14 +8907,6 @@ let
array).rankOfMemorizedVal;
tel
-- end of node intArray__getRank_ofMinimumIn_
- * package util
- Exported types:
- Exported constants:
- Exported nodes:
- * package main
- Exported types:
- Exported constants:
- Exported nodes:
node main__main(
a:int^10)
@@ -13501,29 +8926,8 @@ tel
-- end of node main__main
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/packEnvTest/contractForElementSelectionInArray/noeudsIndependants.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/contractForElementSelectionInArray/noeudsIndependants.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack noeudsIndependants
- export node equals
- export node gt
-*** SyntaxTab.create pass 3
- init symbol tables for pack noeudsIndependants
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- noeudsIndependants (pack)
-
- - Raw model table:
- - Raw Package table: noeudsIndependants
- - Package manager table: noeudsIndependants
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package noeudsIndependants
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_work/packEnvTest/contractForElementSelectionInArray/noeudsIndependants.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/packEnvTest/contractForElementSelectionInArray/noeudsIndependants.lus
node noeudsIndependants__equals(a:int; b:int) returns (r:bool);
let
r = (a = b);
@@ -13536,56 +8940,13 @@ tel
-- end of node noeudsIndependants__gt
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
-*** SyntaxTab.create pass 3
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- packageTableau (model)
-
- - Raw model table: packageTableau
- - Raw Package table:
- - Package manager table:
-End of Syntax table dump. »
+====> ../lus2lic -vl 2 --compile-all-items should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus
Error. No package has been provided
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/packEnvTest/contractForElementSelectionInArray/tri.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/contractForElementSelectionInArray/tri.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack tri
- export type INTSIZE
- export type Sort_accu
- export type MinFR_accu
- export type Select_accu
- export type sorted_iter_accu
- export type Exchange_accu
- export const size
- export node main
- export node minFromRank
- export node Exchange_i_j
- export node Sorted
- export node sorted_iter
- export node select
- export node UnarySort
-*** SyntaxTab.create pass 3
- init symbol tables for pack tri
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- tri (pack)
-
- - Raw model table:
- - Raw Package table: tri
- - Package manager table: tri
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package tri
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/packEnvTest/contractForElementSelectionInArray/tri.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/packEnvTest/contractForElementSelectionInArray/tri.lus
const tri__size = 10;
type tri__INTSIZE = int^10;
type tri__Sort_accu = tri::Sort_accu {CurrentRank : int; Tab : int^10};
@@ -13593,8 +8954,6 @@ type tri__Select_accu = tri::Select_accu {RankToFind : int; CurrentRank : int; V
type tri__MinFR_accu = tri::MinFR_accu {MinVal : int; MinRank : int; RankFrom : int; Rank : int};
type tri__sorted_iter_accu = tri::sorted_iter_accu {prev_elt : int; prop_is_tt : bool};
type tri__Exchange_accu = tri::Exchange_accu {MinVal : int; MinRank : int; RankFrom : int; CurrentVal : int; Rank : int};
- Exported constants:
- Exported nodes:
node tri__minFromRank(
accu_in:tri::MinFR_accu {MinVal : int;
@@ -13719,64 +9078,20 @@ tel
-- end of node tri__Sorted
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/packEnvTest/modelInst.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/modelInst.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack Pbool
- export node n
- export type t
- init pack main
- export node main
- init pack Preal
- export node n
- export type t
- init pack Pint
- export node n
- export type t
-*** SyntaxTab.create pass 3
- init symbol tables for pack Pbool
- init symbol tables for pack main
- init symbol tables for pack Preal
- init symbol tables for pack Pint
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- m1 (model)
- Pint (pack)
- Pbool (pack)
- Preal (pack)
- main (pack)
-
- - Raw model table: m1
- - Raw Package table: Pbool main Preal Pint
- - Package manager table: Pbool main Preal Pint
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package Pint
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/packEnvTest/modelInst.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/packEnvTest/modelInst.lus
type Pint__t = int;
- Exported constants:
- Exported nodes:
node Pint__n(init:int; in:int) returns (ok:int);
let
ok = init -> pre(in);
tel
-- end of node Pint__n
- * package Preal
- Exported types:
type Preal__t = real;
- Exported constants:
- Exported nodes:
node Preal__n(init:real; in:real) returns (ok:real);
let
ok = init -> pre(in);
tel
-- end of node Preal__n
- * package main
- Exported types:
- Exported constants:
- Exported nodes:
type Pbool__t = bool;
node Pbool__n(init:bool; in:bool) returns (ok:bool);
let
@@ -13798,86 +9113,28 @@ let
oreal = Preal__n(0., 0. -> ((pi * ray) * ray));
tel
-- end of node main__main
- * package Pbool
- Exported types:
- Exported constants:
- Exported nodes:
-
-----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/packEnvTest/packages.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/packages.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack inter
- export node preced
- export const n
- export type selType
- init pack mainPack
- export node preced
- init pack pint
- export node fby1
- export type t
- init pack pbool
- export node fby1
- export type t
- init pack preal
- export node fby1
- export type t
-*** SyntaxTab.create pass 3
- init symbol tables for pack inter
- init symbol tables for pack mainPack
- init symbol tables for pack pint
- init symbol tables for pack pbool
- init symbol tables for pack preal
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- modSimple (model)
- pint (pack)
- pbool (pack)
- preal (pack)
- inter (pack)
- mainPack (pack)
-
- - Raw model table: modSimple
- - Raw Package table: inter mainPack pint pbool preal
- - Package manager table: inter mainPack pint pbool preal
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package preal
- Exported types:
+
+----------------------------------------------------------------------
+====> ../lus2lic -vl 2 --compile-all-items should_work/packEnvTest/packages.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/packEnvTest/packages.lus
type preal__t = real;
- Exported constants:
- Exported nodes:
node preal__fby1(init:real; fb:real) returns (next:real);
let
next = init -> pre(fb);
tel
-- end of node preal__fby1
- * package pbool
- Exported types:
type pbool__t = bool;
- Exported constants:
- Exported nodes:
node pbool__fby1(init:bool; fb:bool) returns (next:bool);
let
next = init -> pre(fb);
tel
-- end of node pbool__fby1
- * package pint
- Exported types:
type pint__t = int;
- Exported constants:
- Exported nodes:
node pint__fby1(init:int; fb:int) returns (next:int);
let
next = init -> pre(fb);
tel
-- end of node pint__fby1
- * package mainPack
- Exported types:
- Exported constants:
- Exported nodes:
type inter__selType = inter::selType {i : int; b : bool; r : real};
node inter__preced(
@@ -13905,89 +9162,31 @@ let
(out, out2) = inter__preced(in);
tel
-- end of node mainPack__preced
- * package inter
- Exported types:
- Exported constants:
const inter__n = -4;
- Exported nodes:
-
-----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/packEnvTest/packages2.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/packages2.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack main
- export node foo
- init pack inter
- export node preced
- export const n
- export type selType
- init pack pint
- export node fby1
- export type t
- init pack pbool
- export node fby1
- export type t
- init pack preal
- export node fby1
- export type t
-*** SyntaxTab.create pass 3
- init symbol tables for pack main
- init symbol tables for pack inter
- init symbol tables for pack pint
- init symbol tables for pack pbool
- init symbol tables for pack preal
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- modSimple (model)
- pint (pack)
- pbool (pack)
- preal (pack)
- inter (pack)
- main (pack)
-
- - Raw model table: modSimple
- - Raw Package table: main inter pint pbool preal
- - Package manager table: main inter pint pbool preal
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package preal
- Exported types:
+
+----------------------------------------------------------------------
+====> ../lus2lic -vl 2 --compile-all-items should_work/packEnvTest/packages2.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/packEnvTest/packages2.lus
type preal__t = real;
- Exported constants:
- Exported nodes:
node preal__fby1(init:real; fb:real) returns (next:real);
let
next = init -> pre(fb);
tel
-- end of node preal__fby1
- * package pbool
- Exported types:
type pbool__t = bool;
- Exported constants:
- Exported nodes:
node pbool__fby1(init:bool; fb:bool) returns (next:bool);
let
next = init -> pre(fb);
tel
-- end of node pbool__fby1
- * package pint
- Exported types:
type pint__t = int;
- Exported constants:
- Exported nodes:
node pint__fby1(init:int; fb:int) returns (next:int);
let
next = init -> pre(fb);
tel
-- end of node pint__fby1
- * package inter
- Exported types:
type inter__selType = inter::selType {i : int; b : bool; r : real};
- Exported constants:
const inter__n = -4;
- Exported nodes:
node inter__preced(
in:inter::selType {i : int;
@@ -14007,10 +9206,6 @@ let
out. = preal__fby1(out2.r, in.r);
tel
-- end of node inter__preced
- * package main
- Exported types:
- Exported constants:
- Exported nodes:
node main__foo(in:int) returns (out:int);
let
out = in;
@@ -14018,45 +9213,12 @@ tel
-- end of node main__foo
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_work/to_sort_out/asservi.lus
-Opening file /home/jahier/lus2lic/src/testshould_work/to_sort_out/asservi.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack asservi
- export type pendule
- export const G
- export const L
- export const T
- export node jeu
- export node make_pend
- export node sqrt
- export node cos
- export node D
- export node sin
- export node asservi
- export node I
- export node PEND
- export node I2
-*** SyntaxTab.create pass 3
- init symbol tables for pack asservi
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- asservi (pack)
-
- - Raw model table:
- - Raw Package table: asservi
- - Package manager table: asservi
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package asservi
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_work/to_sort_out/asservi.lus
+Opening file /home/jahier/lus2lic/src/test/should_work/to_sort_out/asservi.lus
type asservi__pendule;
- Exported constants:
const asservi__G = 10.000000;
const asservi__L = 2.000000;
const asservi__T = 0.100000;
- Exported nodes:
node asservi__D(x:real) returns (d:real);
let
d = 0.0 -> ((x - pre(x)) / T);
@@ -14132,31 +9294,8 @@ tel
Those tests are supposed to generate errors
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/clock/clock.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/clock/clock.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack clock
- export node clock
- export node clock2
- export node clock3
- export node clock4
-*** SyntaxTab.create pass 3
- init symbol tables for pack clock
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- clock (pack)
-
- - Raw model table:
- - Raw Package table: clock
- - Package manager table: clock
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package clock
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_fail/clock/clock.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/clock/clock.lus
extern node clock__clock2(u:bool; v:bool when u) returns (y:bool);
extern node clock__clock3(u:bool) returns (x:bool; y:bool when x);
@@ -14179,28 +9318,8 @@ tel
-- end of node clock__clock
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/clock/inonout.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/clock/inonout.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack inonout
- export node inOnOut
-*** SyntaxTab.create pass 3
- init symbol tables for pack inonout
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- inonout (pack)
-
- - Raw model table:
- - Raw Package table: inonout
- - Package manager table: inonout
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package inonout
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_fail/clock/inonout.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/clock/inonout.lus
*** Error in file "should_fail/clock/inonout.lus", line 3, col 46 to 46, token 'c':
*** 'c': Unknown variable.
*** Current variables are:
@@ -14208,30 +9327,8 @@ End of Syntax table dump.
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/activation1.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/activation1.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack activation1
- export node up
- export node down
- export node activation1
-*** SyntaxTab.create pass 3
- init symbol tables for pack activation1
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- activation1 (pack)
-
- - Raw model table:
- - Raw Package table: activation1
- - Package manager table: activation1
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package activation1
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_fail/semantics/activation1.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/semantics/activation1.lus
node activation1__up(in:int) returns (out:int);
let
out = (pre(in) + 1);
@@ -14254,30 +9351,8 @@ tel
-- end of node activation1__activation1
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/activation2.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/activation2.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack activation2
- export node up
- export node down
- export node activation2
-*** SyntaxTab.create pass 3
- init symbol tables for pack activation2
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- activation2 (pack)
-
- - Raw model table:
- - Raw Package table: activation2
- - Package manager table: activation2
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package activation2
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_fail/semantics/activation2.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/semantics/activation2.lus
node activation2__up(in:int) returns (out:int);
let
out = (pre(in) + 1);
@@ -14300,59 +9375,15 @@ tel
-- end of node activation2__activation2
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/bad_call01.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/bad_call01.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack bad_call01
- export node titi
- export node bad_call01
- export node toto
-*** SyntaxTab.create pass 3
- init symbol tables for pack bad_call01
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- bad_call01 (pack)
-
- - Raw model table:
- - Raw Package table: bad_call01
- - Package manager table: bad_call01
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package bad_call01
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_fail/semantics/bad_call01.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/semantics/bad_call01.lus
*** Error in file "should_fail/semantics/bad_call01.lus", line 0, col 0 to 0, token '': recursion loop detected:
> node ref in file "should_fail/semantics/bad_call01.lus", line 2, col 13 to 16, token 'titi'
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/bad_call03.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/bad_call03.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack bad_call03
- export node titi
- export node bad_call03
- export node toto
-*** SyntaxTab.create pass 3
- init symbol tables for pack bad_call03
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- bad_call03 (pack)
-
- - Raw model table:
- - Raw Package table: bad_call03
- - Package manager table: bad_call03
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package bad_call03
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_fail/semantics/bad_call03.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/semantics/bad_call03.lus
function bad_call03__toto(i1:o^3; i2:o^3) returns (o:o^3);
let
o = Lustre__map<<node Lustre__+, const 3>>(i1, i2);
@@ -14379,46 +9410,14 @@ tel
-- end of node bad_call03__bad_call03
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/bug.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/bug.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack bug
- export type tab1
- export type tab2
- export type tab3
- export type bool4
- export type really
- export const ze_const_int
- export node bug
- export node edge_detect
- export node implies
- export node after
- export node bidon
- export node once_from_to
- export node once_since
-*** SyntaxTab.create pass 3
- init symbol tables for pack bug
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- bug (pack)
-
- - Raw model table:
- - Raw Package table: bug
- - Package manager table: bug
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package bug
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_fail/semantics/bug.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/semantics/bug.lus
type bug__tab1 = int^2;
type bug__tab2 = int^3^4;
type bug__tab3 = int^5^6^7;
const bug__ze_const_int = 5;
type bug__bool4 = bool^5;
type bug__really = real;
- Exported constants:
- Exported nodes:
node bug__bidon(in:bool) returns (out1:bool; out2:bool);
var
toto:int^2;
@@ -14490,45 +9489,14 @@ tel
-- end of node bug__bug
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/const.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/const.lus
+====> ../lus2lic -vl 2 --compile-all-items should_fail/semantics/const.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/semantics/const.lus
*** Error in file "should_fail/semantics/const.lus", line 18, col 17 to 17, token ',': syntax error
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/const2.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/const2.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack const2
- export type t1
- export type t2
- export type t3
- export type t4
- export type t5
- export type t6
- export type t7
- export type t8
- export const c10
- export const e3
- export const M
- export const N
- export const O
- export const P
-*** SyntaxTab.create pass 3
- init symbol tables for pack const2
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- const2 (pack)
-
- - Raw model table:
- - Raw Package table: const2
- - Package manager table: const2
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package const2
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_fail/semantics/const2.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/semantics/const2.lus
type const2__t1 = int;
const const2__M = 3;
type const2__t2 = int^3;
@@ -14542,34 +9510,13 @@ const const2__c10 = 12;
type const2__t6 = int^3^6^3^2^12;
type const2__t7 = int^3^6^3^2^12^3;
type const2__t8 = int^3^6^3^2^12^3^3;
- Exported constants:
*** Error in file "should_fail/semantics/const2.lus", line 4, col 24 to 25, token '->':
*** can't eval constant: The construct -> is not allowed in static expression
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/cpt_dc.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/cpt_dc.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack cpt_dc
- export node cpt_dc
-*** SyntaxTab.create pass 3
- init symbol tables for pack cpt_dc
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- cpt_dc (pack)
-
- - Raw model table:
- - Raw Package table: cpt_dc
- - Package manager table: cpt_dc
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package cpt_dc
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_fail/semantics/cpt_dc.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/semantics/cpt_dc.lus
node cpt_dc__cpt_dc(evt:bool; reset:bool) returns (cpt:int);
var
_f3:bool;
@@ -14583,32 +9530,10 @@ tel
-- end of node cpt_dc__cpt_dc
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/def.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/def.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack def
- export type st
- export type int4
- export node def
-*** SyntaxTab.create pass 3
- init symbol tables for pack def
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- def (pack)
-
- - Raw model table:
- - Raw Package table: def
- - Package manager table: def
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package def
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_fail/semantics/def.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/semantics/def.lus
type def__int4 = int^4;
type def__st = def::st {x : int^4};
- Exported constants:
- Exported nodes:
node def__def(a:bool) returns (b:def::st {x : int^4});
var
c:def::st {x : int^4};
@@ -14625,48 +9550,26 @@ tel
-- end of node def__def
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/import2.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/import2.lus
+====> ../lus2lic -vl 2 --compile-all-items should_fail/semantics/import2.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/semantics/import2.lus
*** Error in file "should_fail/semantics/import2.lus", line 2, col 1 to 4, token 'node': syntax error
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/m.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/m.lus
+====> ../lus2lic -vl 2 --compile-all-items should_fail/semantics/m.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/semantics/m.lus
*** Error in file "should_fail/semantics/m.lus", line 3, col 23 to 23, token ',': syntax error
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/not_a_constant.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/not_a_constant.lus
+====> ../lus2lic -vl 2 --compile-all-items should_fail/semantics/not_a_constant.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/semantics/not_a_constant.lus
*** Error in file "should_fail/semantics/not_a_constant.lus", line 10, col 23 to 24, token '--': syntax error
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/piege.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/piege.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack piege
- export node piege
- export node aux1
- export node aux2
-*** SyntaxTab.create pass 3
- init symbol tables for pack piege
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- piege (pack)
-
- - Raw model table:
- - Raw Package table: piege
- - Package manager table: piege
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package piege
- Exported types:
- Exported constants:
- Exported nodes:
+====> ../lus2lic -vl 2 --compile-all-items should_fail/semantics/piege.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/semantics/piege.lus
node piege__aux2(in1:bool; in2:bool) returns (out1:bool; out2:bool);
let
out1 = true -> pre(in1);
@@ -14685,35 +9588,10 @@ tel
-- end of node piege__piege
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/tranche.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/tranche.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack tranche
- export type t2
- export type t
- export const m
- export const n
- export const o
- export const s
- export node tranche
-*** SyntaxTab.create pass 3
- init symbol tables for pack tranche
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- tranche (pack)
-
- - Raw model table:
- - Raw Package table: tranche
- - Package manager table: tranche
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package tranche
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_fail/semantics/tranche.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/semantics/tranche.lus
type tranche__t2 = bool^7^8^9^10;
type tranche__t = bool^3^4;
- Exported constants:
*** Error in file "should_fail/semantics/tranche.lus", line 7, col 6 to 6, token 'n':
*** can't eval constant:
*** cannot access this abstract constant value
@@ -14721,31 +9599,8 @@ type tranche__t = bool^3^4;
const tranche__n:bool^3^4;
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/x.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/x.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack x
- export const m
- export const n
- export const t
- export const x
- export const y
-*** SyntaxTab.create pass 3
- init symbol tables for pack x
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- x (pack)
-
- - Raw model table:
- - Raw Package table: x
- - Package manager table: x
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package x
- Exported types:
- Exported constants:
+====> ../lus2lic -vl 2 --compile-all-items should_fail/semantics/x.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/semantics/x.lus
*** Error in file "should_fail/semantics/x.lus", line 4, col 7 to 7, token 'm': recursion loop detected:
> const ref in file "should_fail/semantics/x.lus", line 4, col 11 to 11, token 'x'
> const ref in file "should_fail/semantics/x.lus", line 6, col 11 to 11, token 't'
@@ -14754,61 +9609,20 @@ End of Syntax table dump.
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/syntax/record.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/syntax/record.lus
+====> ../lus2lic -vl 2 --compile-all-items should_fail/syntax/record.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/syntax/record.lus
*** Error in file "should_fail/syntax/record.lus", line 7, col 29 to 29, token '{': syntax error
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/type/Gyro.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/type/Gyro.lus
+====> ../lus2lic -vl 2 --compile-all-items should_fail/type/Gyro.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/type/Gyro.lus
*** Error in file "should_fail/type/Gyro.lus", line 11, col 42 to 42, token ',': syntax error
----------------------------------------------------------------------
-====> ../lus2lic -vl 3 --compile-all-items should_fail/type/const2.lus
-Opening file /home/jahier/lus2lic/src/testshould_fail/type/const2.lus
-*** SyntaxTab.create pass 1
-*** SyntaxTab.create pass 2
- init pack const2
- export type t1
- export type t2
- export type t3
- export type t4
- export type t5
- export type t6
- export type t7
- export type t8
- export const e1
- export const c10
- export const e2
- export const M
- export const N
- export const O
- export const c1
- export const P
- export const c2
- export const c3
- export const c4
- export const c5
- export const c6
- export const c7
- export const c8
- export const c9
-*** SyntaxTab.create pass 3
- init symbol tables for pack const2
-*** SyntaxTab.create done
-*** « Syntax table dump:
- - Package or model list:
- const2 (pack)
-
- - Raw model table:
- - Raw Package table: const2
- - Package manager table: const2
-End of Syntax table dump. »
-*** Dump the exported items of the packages.
- * package const2
- Exported types:
+====> ../lus2lic -vl 2 --compile-all-items should_fail/type/const2.lus
+Opening file /home/jahier/lus2lic/src/test/should_fail/type/const2.lus
type const2__t1 = int;
const const2__c1 = 2;
const const2__M = 3;
@@ -14825,7 +9639,6 @@ const const2__c10 = 3;
type const2__t6 = int^3^7^8^9^3;
type const2__t7 = int^3^7^8^9^3^8;
type const2__t8 = int^3^7^8^9^3^8^8;
- Exported constants:
*** Error in file "should_fail/type/const2.lus", line 16, col 12 to 13, token '<>': type error:
*** type 'int*real' was provided whereas
*** type 'a*a' was expected