Project

General

Profile

« Previous | Next » 

Revision 4748b215

Added by hbourbou about 3 years ago

add more simulink tests

View differences:

regression_tests/lustre_files/success/Simulink/src_many_files/A1_PP.LUSTREC.lus
1
-- This file has been generated by CoCoSim2.
2

  
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:19:27
5
(*
6
Original block name: A1_PP/Assumption/viewdvc
7
*)
8
node  viewdvc_258_027(In1_1 : real;
9
	In1_2 : real;
10
	__time_step : real;
11
	__nb_step : int;)
12
returns(VerificationSubsystem_virtual : bool;);
13
let
14
	VerificationSubsystem_virtual = true;
15
tel
16

  
17
(*
18
Original block name: A1_PP/Assumption1/viewdvc
19
*)
20
node  viewdvc_263_041(In1_1 : real;
21
	__time_step : real;
22
	__nb_step : int;)
23
returns(VerificationSubsystem_virtual : bool;);
24
let
25
	VerificationSubsystem_virtual = true;
26
tel
27

  
28
(*
29
Original block name: A1_PP/Assumption2/viewdvc
30
*)
31
node  viewdvc_270_031(In1_1 : real;
32
	__time_step : real;
33
	__nb_step : int;)
34
returns(VerificationSubsystem_virtual : bool;);
35
let
36
	VerificationSubsystem_virtual = true;
37
tel
38

  
39
(*
40
Original block name: A1_PP/Assumption3/viewdvc
41
*)
42
node  viewdvc_277_026(In1_1 : real;
43
	In1_2 : real;
44
	In1_3 : real;
45
	In1_4 : real;
46
	__time_step : real;
47
	__nb_step : int;)
48
returns(VerificationSubsystem_virtual : bool;);
49
let
50
	VerificationSubsystem_virtual = true;
51
tel
52

  
53
(*
54
Original block name: A1_PP/Assumption4/viewdvc
55
*)
56
node  viewdvc_284_025(In1_1 : real;
57
	__time_step : real;
58
	__nb_step : int;)
59
returns(VerificationSubsystem_virtual : bool;);
60
let
61
	VerificationSubsystem_virtual = true;
62
tel
63

  
64
(*
65
Original block name: A1_PP/Assumption5/viewdvc
66
*)
67
node  viewdvc_291_026(In1_1 : bool;
68
	__time_step : real;
69
	__nb_step : int;)
70
returns(VerificationSubsystem_virtual : bool;);
71
let
72
	VerificationSubsystem_virtual = true;
73
tel
74

  
75
(*
76
Original block name: A1_PP
77
*)
78
node  A1_PP(In1_1 : real;
79
	In1_2 : real;
80
	In2_1 : real;
81
	In3_1 : real;
82
	In4_1 : real;
83
	In4_2 : real;
84
	In4_3 : real;
85
	In4_4 : real;
86
	In5_1 : real;
87
	In6_1 : bool;
88
	In7_1 : bool;)
89
returns(Out1_1 : bool;);
90
var Assumption5_1 : bool;
91
	LogicalOperator_1 : bool;
92
	__time_step : real;
93
	__nb_step : int;
94
let
95
	assert ( ((0.000000000000000 <= In1_1) and (In1_1 < 1.000000000000000)) or (In1_1 = 1.000000000000000) );
96
	assert ( (In2_1 = 0.000000000000000) or (In2_1 = 5.000000000000000) );
97
	assert ((1.000000000000000 <= In3_1) and (In3_1 <= 2.000000000000000));
98
	assert ( (In4_1 = 0.000000000000000) or ((1.000000000000000 <= In4_1) and (In4_1 <= 3.000000000000000)) );
99
	assert ( ((0.000000000000000 <= In5_1) and (In5_1 < 1.000000000000000)) or (In5_1 = 1.000000000000000) );
100
	Assumption5_1 = In6_1;
101
	assert (In6_1 = true);
102
	LogicalOperator_1 = ( Assumption5_1 and In7_1 );
103
	Out1_1 = LogicalOperator_1;
104
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
105
	__nb_step = (0 -> ((pre __nb_step) + 1));
106
tel
107

  
regression_tests/lustre_files/success/Simulink/src_many_files/A1_PP.LUSTREC.lusi
1
(* Generated Lustre Interface file from A1_PP.LUSTREC.lus *)
2
(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:21:24 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4

  
5
node A1_PP (In1_1: real;
6
In1_2: real;
7
In2_1: real;
8
In3_1: real;
9
In4_1: real;
10
In4_2: real;
11
In4_3: real;
12
In4_4: real;
13
In5_1: real;
14
In6_1: bool;
15
In7_1: bool) returns (Out1_1: bool);
16

  
17
function viewdvc_270_031 (In1_1: real;
18
__time_step: real;
19
__nb_step: int) returns (VerificationSubsystem_virtual: bool);
20

  
21
function viewdvc_258_027 (In1_1: real;
22
In1_2: real;
23
__time_step: real;
24
__nb_step: int) returns (VerificationSubsystem_virtual: bool);
25

  
26
function viewdvc_291_026 (In1_1: bool;
27
__time_step: real;
28
__nb_step: int) returns (VerificationSubsystem_virtual: bool);
29

  
30
function viewdvc_284_025 (In1_1: real;
31
__time_step: real;
32
__nb_step: int) returns (VerificationSubsystem_virtual: bool);
33

  
34
function viewdvc_277_026 (In1_1: real;
35
In1_2: real;
36
In1_3: real;
37
In1_4: real;
38
__time_step: real;
39
__nb_step: int) returns (VerificationSubsystem_virtual: bool);
40

  
41
function viewdvc_263_041 (In1_1: real;
42
__time_step: real;
43
__nb_step: int) returns (VerificationSubsystem_virtual: bool);
44

  
45

  
regression_tests/lustre_files/success/Simulink/src_many_files/A1_PP.LUSTREC_A1_PP__output_values
1
'Out1_1': '1' 
2
'Out1_1': '1' 
3
'Out1_1': '1' 
regression_tests/lustre_files/success/Simulink/src_many_files/A1_PP.LUSTREC_A1_PP_input_values
1
67.31059751763294
2
70.07712724828356
3
78.05724461258066
4
46.63724923485697
5
71.89728032000075
6
81.59817757868579
7
89.07840801988631
8
59.43524819315348
9
71.41860187077776
10
34.66558855384236
11
91.24945610518549
12
7.814151245426759
13
10.05212605418796
14
54.09110785565283
15
9.782807449292196
16
41.53840541050311
17
6.369103434147472
18
56.46594578773008
19
86.94978770928768
20
76.88798364902905
21
14.522796822413875
22
10.813536370599298
23
65.46694863011466
24
14.879391772110539
25
26.931274581853902
26
81.99120846564773
27
97.67398737814773
28
94.22069949272085
29
43.225799119608254
30
71.8706413598733
31
35.206095930800316
32
61.852827581728754
33
6.505429986215605
34
31.627799307803485
35
25.445496489421704
36
10.042500871915328
37
99.83305284238845
38
17.39884957956186
39
78.24398895870289
40
85.73064802399809
41
3.427524198504517
42
1.1092553561227403
43
69.24037611096077
44
25.203200137807226
45
36.15119737936263
46
28.459121699512313
47
14.55362920707719
48
5.1396674348961895
49
43.66157688348796
50
36.848594728639206
51
85.71472333624308
52
29.70800054270143
53
49.9904299073529
54
7.4529064889139685
55
33.40709282505493
56
92.61263065855869
57
59.33317753567724
58
27.707432898995744
59
53.91766404537193
60
62.86584065400882
61
80.47594595132762
62
83.13895366587788
63
63.15749926616794
64
43.5408557743641
65
47.557166743426
66
80.78000130685483
67
39.69307587532842
68
43.87839210590623
69
27.755152476140566
70
30.329077308318187
71
60.43626892374597
72
86.85663096523399
73
39.01263614303478
74
73.7701827345281
75
80.47315979290927
76
46.6978781162246
77
49.05373325362042
78
59.340987427941094
79
1.9687793921876362
80
73.7734750264486
81
90.71837318626939
82
1.53967676754736
83
36.166976056076884
84
17.981791161691152
85
8.033747948979785
86
55.28633152353497
87
87.21156910865045
88
5.912369896690439
89
42.46186380618509
90
59.40545969337675
91
76.84707562313929
92
61.97268543472835
93
79.40682604363548
94
72.27208383193526
95
85.01418534817175
96
89.14211121846085
97
1.3349843200707756
98
30.764603727214524
99
2.937361421938711
100
41.13112172987745
regression_tests/lustre_files/success/Simulink/src_many_files/A1_PP.LUSTREC_A1_PP_mpfr100_output_values
1
'Out1_1': '1' 
2
'Out1_1': '1' 
3
'Out1_1': '1' 
regression_tests/lustre_files/success/Simulink/src_many_files/A1_PP_A1_PP_input_values
1
43.597963961962016
2
47.8197205543393
3
18.39793666904005
4
97.83940033436193
5
42.995035676945605
6
78.950788830605
7
82.6619808700793
8
89.68682311801793
9
97.81448132555215
10
22.59089446971799
11
62.815926637664234
12
76.14971392599199
13
0.5063847639900976
14
81.43178291786532
15
91.46666318560153
16
57.00089650200352
17
70.66619925292706
18
51.148798491953166
19
14.018250004437204
20
46.43080044235715
21
96.69969840535606
22
26.271882602259076
23
53.67104758053765
24
64.47988570079036
25
22.002510847592337
26
37.36086260103119
27
2.2845887281204624
28
55.345717854770335
29
52.04884488869915
30
11.236086759288755
31
53.782048619775146
32
79.05209923693911
33
71.38174804490752
34
18.769435374016286
35
85.93433632168482
36
34.78409616368096
37
50.21986584040332
38
50.619596884183295
39
13.646956105182484
40
39.13421363950632
41
89.24329007395805
42
40.29946166374979
43
82.2829758344649
44
0.5713396898316736
45
98.09381555982563
46
36.092317934570836
47
43.09059397357811
48
2.635528104844831
49
28.2225148223055
50
8.587500732676546
51
54.46391621418072
52
32.6780737727951
53
83.94022331437948
54
68.98503596140547
55
82.55075958860859
56
70.40775132943851
57
16.87419466339112
58
64.82269538883631
59
32.63142930739765
60
81.07046104569238
61
68.50681833945706
62
14.407852714069735
63
28.727568735036634
64
41.78100174919247
65
63.06995805040609
66
38.990344766838405
67
73.0603405603384
68
66.34200686696065
69
68.7911397783267
70
52.5915397344905
71
59.262373719719974
72
83.82658358283945
73
39.335447493668084
74
73.40867118428964
75
83.6580434079864
76
69.26749174395837
77
19.259657149902953
78
27.842392871248013
79
97.46180910726582
80
20.987222149057782
81
47.3928108715364
82
28.449450852829205
83
69.40451052996157
84
28.41964064352093
85
20.2800302850477
86
20.501260904386488
87
83.08265559144206
88
76.71533352094872
89
84.1741291247573
90
8.333075777440712
91
76.23590399860497
92
89.98916776931323
93
8.532112712616069
94
92.29733591742885
95
40.19311005794249
96
23.759990380784558
97
56.57142100956227
98
69.88872928918212
99
36.887416519559565
100
78.9488119164982
regression_tests/lustre_files/success/Simulink/src_many_files/ANDONEINPUT.LUSTREC.lus
1
-- This file has been generated by CoCoSim2.
2

  
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:44:37
5
(*
6
Original block name: ANDONEINPUT
7
*)
8
node  ANDONEINPUT(In1_1 : real;
9
	In1_2 : real;
10
	In1_3 : real;
11
	In1_4 : real;)
12
returns(Out1_1 : bool;);
13
var Abs1_1 : real;
14
	Abs1_2 : real;
15
	Abs1_3 : real;
16
	Abs1_4 : real;
17
	Constant1_1 : real;
18
	LogicalOperator1_1 : bool;
19
	RelationalOperator1_1 : bool;
20
	RelationalOperator1_2 : bool;
21
	RelationalOperator1_3 : bool;
22
	RelationalOperator1_4 : bool;
23
	__time_step : real;
24
	__nb_step : int;
25
let
26
	Abs1_1 = if (In1_1 >= 0.0) then
27
		In1_1
28
	    else (- In1_1);
29
	Abs1_2 = if (In1_2 >= 0.0) then
30
		In1_2
31
	    else (- In1_2);
32
	Abs1_3 = if (In1_3 >= 0.0) then
33
		In1_3
34
	    else (- In1_3);
35
	Abs1_4 = if (In1_4 >= 0.0) then
36
		In1_4
37
	    else (- In1_4);
38
	Constant1_1 = 6.000000000000000;
39
	LogicalOperator1_1 = ( RelationalOperator1_1 or RelationalOperator1_2 or RelationalOperator1_3 or RelationalOperator1_4 );
40
	RelationalOperator1_1 = (Abs1_1 > Constant1_1);
41
	RelationalOperator1_2 = (Abs1_2 > Constant1_1);
42
	RelationalOperator1_3 = (Abs1_3 > Constant1_1);
43
	RelationalOperator1_4 = (Abs1_4 > Constant1_1);
44
	Out1_1 = LogicalOperator1_1;
45
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
46
	__nb_step = (0 -> ((pre __nb_step) + 1));
47
tel
48

  
regression_tests/lustre_files/success/Simulink/src_many_files/ANDONEINPUT.LUSTREC.lusi
1
(* Generated Lustre Interface file from ANDONEINPUT.LUSTREC.lus *)
2
(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:21:24 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4

  
5
node ANDONEINPUT (In1_1: real;
6
In1_2: real;
7
In1_3: real;
8
In1_4: real) returns (Out1_1: bool);
9

  
10

  
regression_tests/lustre_files/success/Simulink/src_many_files/ANDONEINPUT.LUSTREC_ANDONEINPUT__output_values
1
'Out1_1': '1' 
2
'Out1_1': '1' 
3
'Out1_1': '1' 
4
'Out1_1': '1' 
5
'Out1_1': '1' 
6
'Out1_1': '1' 
7
'Out1_1': '1' 
8
'Out1_1': '1' 
9
'Out1_1': '1' 
10
'Out1_1': '1' 
11
'Out1_1': '1' 
12
'Out1_1': '1' 
13
'Out1_1': '1' 
14
'Out1_1': '1' 
15
'Out1_1': '1' 
16
'Out1_1': '1' 
17
'Out1_1': '1' 
18
'Out1_1': '1' 
19
'Out1_1': '1' 
20
'Out1_1': '1' 
21
'Out1_1': '1' 
22
'Out1_1': '1' 
23
'Out1_1': '1' 
24
'Out1_1': '1' 
25
'Out1_1': '1' 
regression_tests/lustre_files/success/Simulink/src_many_files/ANDONEINPUT.LUSTREC_ANDONEINPUT_input_values
1
7.795653613694997
2
56.05644404845284
3
22.716754477715394
4
99.07030009250894
5
30.47435039467392
6
67.57710207015585
7
32.32715916660229
8
24.15297437004771
9
68.28748060379527
10
22.988892955618358
11
24.074073736558187
12
43.01998679563282
13
10.355742965619397
14
85.16700347420678
15
85.25542644195508
16
18.196724725486956
17
80.79444593299084
18
34.469450822489854
19
62.676411760603145
20
15.278840694892459
21
88.13785600880307
22
53.35669632957608
23
92.68796570872176
24
24.228719532634535
25
99.1456508154601
26
89.34617290254016
27
93.74365114190685
28
92.22368626883103
29
98.05411124620178
30
28.189536598053667
31
2.5082823325435655
32
21.867639014811857
33
39.30732793455385
34
91.2893396153847
35
8.086736594617228
36
59.769131825576416
37
26.90136076483184
38
56.625815318584785
39
40.60164982537017
40
24.805368614955682
41
56.6969285341518
42
90.84323927650898
43
0.13372833291538377
44
2.8329961728087105
45
39.40390261128388
46
71.64936208559111
47
69.94867229411886
48
65.17292772658581
49
81.41347258738719
50
74.31024095625551
51
43.969791326218576
52
51.887911813809225
53
38.25157593629854
54
93.77672423259759
55
12.615589041285446
56
97.68791030609243
57
71.1497872581077
58
74.85776037826291
59
93.40671929058392
60
68.23975349398673
61
31.07754395468062
62
26.859580696977048
63
63.15692110776917
64
17.72403794822922
65
66.5522458319251
66
6.238754922633527
67
47.097619469871624
68
74.67346976923163
69
1.6414001804682554
70
61.070976898463215
71
46.94611356488301
72
12.443456181550106
73
58.79365542902186
74
44.51636927047381
75
44.71239059321954
76
63.10699696787441
77
7.483233769802866
78
20.966025451140712
79
1.949753229243767
80
89.13240660317219
81
4.124891519463736
82
8.183346148399838
83
85.18962676791078
84
35.89383992312158
85
51.31424696310718
86
21.507705980220702
87
87.46105062524212
88
49.880876552338414
89
45.17091935754799
90
12.066855747149063
91
83.08054616657328
92
62.41497128059703
93
98.40959547674568
94
19.94836043453686
95
48.30814426210346
96
6.746886509311
97
23.736836863781395
98
95.40933368597457
99
4.000598874476835
100
57.60064791396545
regression_tests/lustre_files/success/Simulink/src_many_files/ANDONEINPUT.LUSTREC_ANDONEINPUT_mpfr100_output_values
1
'Out1_1': '1' 
2
'Out1_1': '1' 
3
'Out1_1': '1' 
4
'Out1_1': '1' 
5
'Out1_1': '1' 
6
'Out1_1': '1' 
7
'Out1_1': '1' 
8
'Out1_1': '1' 
9
'Out1_1': '1' 
10
'Out1_1': '1' 
11
'Out1_1': '1' 
12
'Out1_1': '1' 
13
'Out1_1': '1' 
14
'Out1_1': '1' 
15
'Out1_1': '1' 
16
'Out1_1': '1' 
17
'Out1_1': '1' 
18
'Out1_1': '1' 
19
'Out1_1': '1' 
20
'Out1_1': '1' 
21
'Out1_1': '1' 
22
'Out1_1': '1' 
23
'Out1_1': '1' 
24
'Out1_1': '1' 
25
'Out1_1': '1' 
regression_tests/lustre_files/success/Simulink/src_many_files/ANDONEINPUT_ANDONEINPUT_input_values
1
86.62122753961941
2
22.332968187083992
3
37.480939262899405
4
51.92221133992513
5
61.54859707473281
6
51.55817765203241
7
30.12630190518315
8
9.359280611213372
9
59.87129965561352
10
90.66942327093294
11
95.80439121418027
12
75.54746498387489
13
33.075483636099776
14
56.007610509442586
15
21.747838371336346
16
99.85321965523401
17
39.97455524239467
18
51.79128544877525
19
67.01525968046512
20
30.511095815901456
21
97.65937488106097
22
46.17175886223664
23
93.17955659083404
24
92.69517701808213
25
85.64186764638768
26
7.641815944148222
27
37.26751410288348
28
66.30719769864244
29
94.90644130482615
30
20.880624473063982
31
82.19058426637592
32
77.72995360901295
33
94.54080577471603
34
51.60576603658532
35
31.17620773755264
36
53.09549767078998
37
35.199687158095884
38
71.11662050405397
39
59.603665518692054
40
54.54330226645448
41
20.862012495873337
42
82.95154528909863
43
0.16786719931329852
44
35.4943984453086
45
58.17417316967208
46
16.44465247547253
47
15.439116797869335
48
6.143289201138613
49
36.12901486791769
50
64.95622887582682
51
25.6563279830325
52
96.17017338990247
53
97.91218172483408
54
50.16409917435719
55
88.98580873745387
56
38.10184907382232
57
41.45455832432256
58
88.04157646655429
59
76.49712904736545
60
71.80041873928705
61
25.561497282149425
62
17.01086913633286
63
44.752263380627355
64
88.23467887655305
65
64.44660798409527
66
24.249138639789148
67
85.17359481955825
68
88.98992031541273
69
65.079902168227
70
72.23762226960548
71
21.25100277388502
72
36.89757741594279
73
98.96711145147113
74
84.38261508546688
75
32.16773335240289
76
12.717004487466731
77
2.809018064772495
78
95.9002733847494
79
4.569280825822631
80
72.97737631246368
81
70.94670128952295
82
14.145566645999352
83
52.96908420733253
84
24.88856566552998
85
36.58061195390512
86
61.178951390845924
87
3.67931132966004
88
95.65556409882267
89
38.458400985613665
90
90.60261937970404
91
7.174605306691284
92
75.5818333541923
93
35.05851248231468
94
80.56147951258325
95
29.441123302050897
96
57.02274858637028
97
59.253513338089725
98
5.29227238108787
99
74.13278671840527
100
74.55105243355126
regression_tests/lustre_files/success/Simulink/src_many_files/Abs1_PP.LUSTREC.lus
1
-- This file has been generated by CoCoSim2.
2

  
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:15:41
5
(*
6
Original block name: Abs1_PP
7
*)
8
node  Abs1_PP(In1_1 : int;)
9
returns(Out1_1 : int;);
10
var Abs_1 : int;
11
	__time_step : real;
12
	__nb_step : int;
13
let
14
	Abs_1 = if (In1_1 >= 0) then
15
		In1_1
16
	    else (- In1_1);
17
	Out1_1 = Abs_1;
18
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
19
	__nb_step = (0 -> ((pre __nb_step) + 1));
20
tel
21

  
regression_tests/lustre_files/success/Simulink/src_many_files/Abs1_PP.LUSTREC.lusi
1
(* Generated Lustre Interface file from Abs1_PP.LUSTREC.lus *)
2
(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:21:24 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4

  
5
node Abs1_PP (In1_1: int) returns (Out1_1: int);
6

  
7

  
regression_tests/lustre_files/success/Simulink/src_many_files/Abs1_PP.LUSTREC_Abs1_PP__output_values
1
'Out1_1': '68' 
2
'Out1_1': '7' 
3
'Out1_1': '6' 
4
'Out1_1': '25' 
5
'Out1_1': '24' 
6
'Out1_1': '25' 
7
'Out1_1': '34' 
8
'Out1_1': '68' 
9
'Out1_1': '83' 
10
'Out1_1': '34' 
11
'Out1_1': '56' 
12
'Out1_1': '9' 
13
'Out1_1': '2' 
14
'Out1_1': '86' 
15
'Out1_1': '47' 
16
'Out1_1': '76' 
17
'Out1_1': '97' 
18
'Out1_1': '76' 
19
'Out1_1': '77' 
20
'Out1_1': '49' 
21
'Out1_1': '12' 
22
'Out1_1': '24' 
23
'Out1_1': '16' 
24
'Out1_1': '26' 
25
'Out1_1': '68' 
26
'Out1_1': '78' 
27
'Out1_1': '12' 
28
'Out1_1': '20' 
29
'Out1_1': '45' 
30
'Out1_1': '81' 
31
'Out1_1': '11' 
32
'Out1_1': '4' 
33
'Out1_1': '2' 
34
'Out1_1': '68' 
35
'Out1_1': '11' 
36
'Out1_1': '60' 
37
'Out1_1': '57' 
38
'Out1_1': '97' 
39
'Out1_1': '50' 
40
'Out1_1': '15' 
41
'Out1_1': '66' 
42
'Out1_1': '14' 
43
'Out1_1': '44' 
44
'Out1_1': '57' 
45
'Out1_1': '45' 
46
'Out1_1': '17' 
47
'Out1_1': '41' 
48
'Out1_1': '84' 
49
'Out1_1': '90' 
50
'Out1_1': '88' 
51
'Out1_1': '18' 
52
'Out1_1': '25' 
53
'Out1_1': '36' 
54
'Out1_1': '1' 
55
'Out1_1': '41' 
56
'Out1_1': '51' 
57
'Out1_1': '35' 
58
'Out1_1': '75' 
59
'Out1_1': '37' 
60
'Out1_1': '63' 
61
'Out1_1': '21' 
62
'Out1_1': '80' 
63
'Out1_1': '84' 
64
'Out1_1': '61' 
65
'Out1_1': '17' 
66
'Out1_1': '79' 
67
'Out1_1': '88' 
68
'Out1_1': '54' 
69
'Out1_1': '82' 
70
'Out1_1': '30' 
71
'Out1_1': '97' 
72
'Out1_1': '27' 
73
'Out1_1': '62' 
74
'Out1_1': '17' 
75
'Out1_1': '6' 
76
'Out1_1': '37' 
77
'Out1_1': '58' 
78
'Out1_1': '89' 
79
'Out1_1': '16' 
80
'Out1_1': '32' 
81
'Out1_1': '27' 
82
'Out1_1': '36' 
83
'Out1_1': '80' 
84
'Out1_1': '47' 
85
'Out1_1': '43' 
86
'Out1_1': '58' 
87
'Out1_1': '96' 
88
'Out1_1': '33' 
89
'Out1_1': '30' 
90
'Out1_1': '61' 
91
'Out1_1': '48' 
92
'Out1_1': '70' 
93
'Out1_1': '85' 
94
'Out1_1': '66' 
95
'Out1_1': '91' 
96
'Out1_1': '11' 
97
'Out1_1': '8' 
98
'Out1_1': '85' 
99
'Out1_1': '1' 
100
'Out1_1': '97' 
regression_tests/lustre_files/success/Simulink/src_many_files/Abs1_PP.LUSTREC_Abs1_PP_input_values
1
68
2
7
3
6
4
25
5
24
6
25
7
34
8
68
9
83
10
34
11
56
12
9
13
2
14
86
15
47
16
76
17
97
18
76
19
77
20
49
21
12
22
24
23
16
24
26
25
68
26
78
27
12
28
20
29
45
30
81
31
11
32
4
33
2
34
68
35
11
36
60
37
57
38
97
39
50
40
15
41
66
42
14
43
44
44
57
45
45
46
17
47
41
48
84
49
90
50
88
51
18
52
25
53
36
54
1
55
41
56
51
57
35
58
75
59
37
60
63
61
21
62
80
63
84
64
61
65
17
66
79
67
88
68
54
69
82
70
30
71
97
72
27
73
62
74
17
75
6
76
37
77
58
78
89
79
16
80
32
81
27
82
36
83
80
84
47
85
43
86
58
87
96
88
33
89
30
90
61
91
48
92
70
93
85
94
66
95
91
96
11
97
8
98
85
99
1
100
97
regression_tests/lustre_files/success/Simulink/src_many_files/Abs1_PP.LUSTREC_Abs1_PP_mpfr100_output_values
1
'Out1_1': '68' 
2
'Out1_1': '7' 
3
'Out1_1': '6' 
4
'Out1_1': '25' 
5
'Out1_1': '24' 
6
'Out1_1': '25' 
7
'Out1_1': '34' 
8
'Out1_1': '68' 
9
'Out1_1': '83' 
10
'Out1_1': '34' 
11
'Out1_1': '56' 
12
'Out1_1': '9' 
13
'Out1_1': '2' 
14
'Out1_1': '86' 
15
'Out1_1': '47' 
16
'Out1_1': '76' 
17
'Out1_1': '97' 
18
'Out1_1': '76' 
19
'Out1_1': '77' 
20
'Out1_1': '49' 
21
'Out1_1': '12' 
22
'Out1_1': '24' 
23
'Out1_1': '16' 
24
'Out1_1': '26' 
25
'Out1_1': '68' 
26
'Out1_1': '78' 
27
'Out1_1': '12' 
28
'Out1_1': '20' 
29
'Out1_1': '45' 
30
'Out1_1': '81' 
31
'Out1_1': '11' 
32
'Out1_1': '4' 
33
'Out1_1': '2' 
34
'Out1_1': '68' 
35
'Out1_1': '11' 
36
'Out1_1': '60' 
37
'Out1_1': '57' 
38
'Out1_1': '97' 
39
'Out1_1': '50' 
40
'Out1_1': '15' 
41
'Out1_1': '66' 
42
'Out1_1': '14' 
43
'Out1_1': '44' 
44
'Out1_1': '57' 
45
'Out1_1': '45' 
46
'Out1_1': '17' 
47
'Out1_1': '41' 
48
'Out1_1': '84' 
49
'Out1_1': '90' 
50
'Out1_1': '88' 
51
'Out1_1': '18' 
52
'Out1_1': '25' 
53
'Out1_1': '36' 
54
'Out1_1': '1' 
55
'Out1_1': '41' 
56
'Out1_1': '51' 
57
'Out1_1': '35' 
58
'Out1_1': '75' 
59
'Out1_1': '37' 
60
'Out1_1': '63' 
61
'Out1_1': '21' 
62
'Out1_1': '80' 
63
'Out1_1': '84' 
64
'Out1_1': '61' 
65
'Out1_1': '17' 
66
'Out1_1': '79' 
67
'Out1_1': '88' 
68
'Out1_1': '54' 
69
'Out1_1': '82' 
70
'Out1_1': '30' 
71
'Out1_1': '97' 
72
'Out1_1': '27' 
73
'Out1_1': '62' 
74
'Out1_1': '17' 
75
'Out1_1': '6' 
76
'Out1_1': '37' 
77
'Out1_1': '58' 
78
'Out1_1': '89' 
79
'Out1_1': '16' 
80
'Out1_1': '32' 
81
'Out1_1': '27' 
82
'Out1_1': '36' 
83
'Out1_1': '80' 
84
'Out1_1': '47' 
85
'Out1_1': '43' 
86
'Out1_1': '58' 
87
'Out1_1': '96' 
88
'Out1_1': '33' 
89
'Out1_1': '30' 
90
'Out1_1': '61' 
91
'Out1_1': '48' 
92
'Out1_1': '70' 
93
'Out1_1': '85' 
94
'Out1_1': '66' 
95
'Out1_1': '91' 
96
'Out1_1': '11' 
97
'Out1_1': '8' 
98
'Out1_1': '85' 
99
'Out1_1': '1' 
100
'Out1_1': '97' 
regression_tests/lustre_files/success/Simulink/src_many_files/Abs1_PP_Abs1_PP_input_values
1
35
2
76
3
42
4
65
5
85
6
57
7
27
8
9
9
97
10
89
11
1
12
62
13
39
14
65
15
2
16
92
17
97
18
20
19
29
20
24
21
62
22
1
23
64
24
46
25
51
26
54
27
75
28
22
29
20
30
21
31
52
32
20
33
29
34
56
35
17
36
15
37
55
38
68
39
3
40
40
41
59
42
62
43
35
44
14
45
34
46
93
47
40
48
16
49
31
50
41
51
80
52
15
53
25
54
45
55
80
56
11
57
48
58
85
59
79
60
41
61
11
62
14
63
83
64
21
65
16
66
62
67
93
68
85
69
61
70
2
71
31
72
98
73
4
74
87
75
75
76
73
77
14
78
45
79
98
80
67
81
52
82
94
83
90
84
66
85
98
86
82
87
70
88
42
89
69
90
5
91
9
92
72
93
17
94
94
95
18
96
26
97
28
98
63
99
46
100
13
regression_tests/lustre_files/success/Simulink/src_many_files/Abs2_PP.LUSTREC.lus
1
-- This file has been generated by CoCoSim2.
2

  
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:15:47
5
(*
6
Original block name: Abs2_PP
7
*)
8
node  Abs2_PP(In2_1 : real;
9
	In2_2 : real;
10
	In2_3 : real;)
11
returns(Out2_1 : real;
12
	Out2_2 : real;
13
	Out2_3 : real;);
14
var Abs1_1 : real;
15
	Abs1_2 : real;
16
	Abs1_3 : real;
17
	__time_step : real;
18
	__nb_step : int;
19
let
20
	Abs1_1 = if (In2_1 >= 0.0) then
21
		In2_1
22
	    else (- In2_1);
23
	Abs1_2 = if (In2_2 >= 0.0) then
24
		In2_2
25
	    else (- In2_2);
26
	Abs1_3 = if (In2_3 >= 0.0) then
27
		In2_3
28
	    else (- In2_3);
29
	Out2_1 = Abs1_1;
30
	Out2_2 = Abs1_2;
31
	Out2_3 = Abs1_3;
32
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
33
	__nb_step = (0 -> ((pre __nb_step) + 1));
34
tel
35

  
regression_tests/lustre_files/success/Simulink/src_many_files/Abs2_PP.LUSTREC.lusi
1
(* Generated Lustre Interface file from Abs2_PP.LUSTREC.lus *)
2
(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:21:25 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4

  
5
node Abs2_PP (In2_1: real;
6
In2_2: real;
7
In2_3: real) returns (Out2_1: real;
8
Out2_2: real;
9
Out2_3: real);
10

  
11

  
regression_tests/lustre_files/success/Simulink/src_many_files/Abs2_PP.LUSTREC_Abs2_PP__output_values
1
'Out2_1': '27.922774188191170' 
2
'Out2_2': '93.785282483153210' 
3
'Out2_3': '74.511181547687286' 
4
'Out2_1': '33.199517383230869' 
5
'Out2_2': '5.432132297534875' 
6
'Out2_3': '36.593823001416190' 
7
'Out2_1': '53.921577260696552' 
8
'Out2_2': '17.544102341254920' 
9
'Out2_3': '77.995139577144172' 
10
'Out2_1': '89.698629218039173' 
11
'Out2_2': '7.878192504925075' 
12
'Out2_3': '29.451509220518336' 
13
'Out2_1': '30.721917082907225' 
14
'Out2_2': '40.141293572133932' 
15
'Out2_3': '49.259458972785431' 
16
'Out2_1': '50.990500100940793' 
17
'Out2_2': '84.342215211764099' 
18
'Out2_3': '90.935754776996617' 
19
'Out2_1': '70.340202305946946' 
20
'Out2_2': '29.653175854434167' 
21
'Out2_3': '85.258935920622903' 
22
'Out2_1': '72.432169893546600' 
23
'Out2_2': '96.247004177979164' 
24
'Out2_3': '55.628091709834528' 
25
'Out2_1': '7.135094428706468' 
26
'Out2_2': '90.327904323926276' 
27
'Out2_3': '3.012497268751912' 
28
'Out2_1': '95.253271369124931' 
29
'Out2_2': '71.927434255782714' 
30
'Out2_3': '99.025004170108673' 
31
'Out2_1': '83.971888691453785' 
32
'Out2_2': '56.506673464859617' 
33
'Out2_3': '50.721342015869851' 
34
'Out2_1': '45.381128318211097' 
35
'Out2_2': '14.748909196735626' 
36
'Out2_3': '95.301794131037809' 
37
'Out2_1': '10.288021604158825' 
38
'Out2_2': '62.373593342772260' 
39
'Out2_3': '36.707278906793029' 
40
'Out2_1': '32.391299396056525' 
41
'Out2_2': '29.976415070068928' 
42
'Out2_3': '4.793867742221281' 
43
'Out2_1': '51.497689267030012' 
44
'Out2_2': '39.841647479377286' 
45
'Out2_3': '25.368664447641809' 
46
'Out2_1': '9.812444769484340' 
47
'Out2_2': '95.209235775108482' 
48
'Out2_3': '73.326920649416294' 
49
'Out2_1': '80.069370625146703' 
50
'Out2_2': '34.101736806629390' 
51
'Out2_3': '39.638085097974511' 
52
'Out2_1': '71.900159099298889' 
53
'Out2_2': '5.065293991049280' 
54
'Out2_3': '66.177273644428041' 
55
'Out2_1': '50.315133523237279' 
56
'Out2_2': '20.435685263661430' 
57
'Out2_3': '16.283530109076761' 
58
'Out2_1': '37.715116241710376' 
59
'Out2_2': '16.188259482433754' 
60
'Out2_3': '71.596075631908789' 
61
'Out2_1': '45.292659537033643' 
62
'Out2_2': '60.826116393183149' 
63
'Out2_3': '54.233731038939304' 
64
'Out2_1': '53.962538178106868' 
65
'Out2_2': '75.532680164051214' 
66
'Out2_3': '99.615209398349720' 
67
'Out2_1': '83.775179215393152' 
68
'Out2_2': '50.877679249988731' 
69
'Out2_3': '27.026048177542815' 
70
'Out2_1': '43.826717669199809' 
71
'Out2_2': '59.917526772963448' 
72
'Out2_3': '20.584740819637137' 
73
'Out2_1': '96.213462751769669' 
74
'Out2_2': '89.974157130598982' 
75
'Out2_3': '53.257083445282824' 
76
'Out2_1': '42.407598795089342' 
77
'Out2_2': '94.374499323397487' 
78
'Out2_3': '51.075798285560168' 
79
'Out2_1': '63.908006028640351' 
80
'Out2_2': '16.000910617855347' 
81
'Out2_3': '18.034576546234327' 
82
'Out2_1': '9.964858468095471' 
83
'Out2_2': '61.889163702751745' 
84
'Out2_3': '11.110009143569421' 
85
'Out2_1': '27.826144456193404' 
86
'Out2_2': '3.115825199577282' 
87
'Out2_3': '53.044407763581034' 
88
'Out2_1': '63.815257165910602' 
89
'Out2_2': '8.463406028421371' 
90
'Out2_3': '72.026116146985402' 
91
'Out2_1': '79.923091113374497' 
92
'Out2_2': '41.895781711469212' 
93
'Out2_3': '31.806279017408677' 
94
'Out2_1': '47.414924411818518' 
95
'Out2_2': '80.426662242448202' 
96
'Out2_3': '56.732583338563046' 
97
'Out2_1': '47.430701030192324' 
98
'Out2_2': '37.848716009705981' 
99
'Out2_3': '43.530996870980431' 
regression_tests/lustre_files/success/Simulink/src_many_files/Abs2_PP.LUSTREC_Abs2_PP_input_values
1
27.92277418819117
2
93.78528248315321
3
74.51118154768729
4
33.19951738323087
5
5.432132297534875
6
36.59382300141619
7
53.92157726069655
8
17.54410234125492
9
77.99513957714417
10
89.69862921803917
11
7.8781925049250745
12
29.451509220518336
13
30.721917082907225
14
40.14129357213393
15
49.25945897278543
16
50.99050010094079
17
84.3422152117641
18
90.93575477699662
19
70.34020230594695
20
29.653175854434167
21
85.2589359206229
22
72.4321698935466
23
96.24700417797916
24
55.62809170983453
25
7.135094428706468
26
90.32790432392628
27
3.0124972687519125
28
95.25327136912493
29
71.92743425578271
30
99.02500417010867
31
83.97188869145378
32
56.50667346485962
33
50.72134201586985
34
45.3811283182111
35
14.748909196735626
36
95.30179413103781
37
10.288021604158825
38
62.37359334277226
39
36.70727890679303
40
32.391299396056525
41
29.976415070068928
42
4.7938677422212805
43
51.49768926703001
44
39.841647479377286
45
25.36866444764181
46
9.81244476948434
47
95.20923577510848
48
73.3269206494163
49
80.0693706251467
50
34.10173680662939
51
39.63808509797451
52
71.90015909929889
53
5.0652939910492805
54
66.17727364442804
55
50.31513352323728
56
20.43568526366143
57
16.28353010907676
58
37.715116241710376
59
16.188259482433754
60
71.59607563190879
61
45.29265953703364
62
60.82611639318315
63
54.233731038939304
64
53.96253817810687
65
75.53268016405121
66
99.61520939834972
67
83.77517921539315
68
50.87767924998873
69
27.026048177542815
70
43.82671766919981
71
59.91752677296345
72
20.584740819637137
73
96.21346275176967
74
89.97415713059898
75
53.257083445282824
76
42.40759879508934
77
94.37449932339749
78
51.07579828556017
79
63.90800602864035
80
16.000910617855347
81
18.034576546234327
82
9.964858468095471
83
61.889163702751745
84
11.110009143569421
85
27.826144456193404
86
3.1158251995772823
87
53.044407763581034
88
63.8152571659106
89
8.463406028421371
90
72.0261161469854
91
79.9230911133745
92
41.89578171146921
93
31.806279017408677
94
47.41492441181852
95
80.4266622424482
96
56.732583338563046
97
47.430701030192324
98
37.84871600970598
99
43.53099687098043
100
82.08126560969214
regression_tests/lustre_files/success/Simulink/src_many_files/Abs2_PP.LUSTREC_Abs2_PP_mpfr100_output_values
1
'Out2_1': '27.922774188191170' 
2
'Out2_2': '93.785282483153210' 
3
'Out2_3': '74.511181547687286' 
4
'Out2_1': '33.199517383230869' 
5
'Out2_2': '5.432132297534875' 
6
'Out2_3': '36.593823001416190' 
7
'Out2_1': '53.921577260696552' 
8
'Out2_2': '17.544102341254920' 
9
'Out2_3': '77.995139577144172' 
10
'Out2_1': '89.698629218039173' 
11
'Out2_2': '7.878192504925075' 
12
'Out2_3': '29.451509220518336' 
13
'Out2_1': '30.721917082907225' 
14
'Out2_2': '40.141293572133932' 
15
'Out2_3': '49.259458972785431' 
16
'Out2_1': '50.990500100940793' 
17
'Out2_2': '84.342215211764099' 
18
'Out2_3': '90.935754776996617' 
... This diff was truncated because it exceeds the maximum size that can be displayed.

Also available in: Unified diff