Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_assignment_test / assignment_test.lus @ 6c3ea955

History | View | Annotate | Download (4.86 KB)

1 6c3ea955 bourbouh
-- This file has been generated by cocoSim
2
3
4
-- System nodes
5
node assignment_test (In1_1_1 : real; In1_1_2 : real; In1_1_3 : real; In1_1_4 : real; In1_1_5 : real; In1_1_6 : real; In2_1_1 : bool; In2_1_2 : bool; In2_1_3 : bool; In2_1_4 : bool; In2_1_5 : bool; In2_1_6 : bool; In3_1_1 : int; In3_1_2 : int; In3_1_3 : int; In3_1_4 : int; In3_1_5 : int; In3_1_6 : int; In4_1_1 : real; In4_1_2 : real; In4_1_3 : real; In5_1_1 : bool; In5_1_2 : bool; In5_1_3 : bool; In6_1_1 : int; In6_1_2 : int; In6_1_3 : int; In7_1_1 : int; In7_1_2 : int; In7_1_3 : int; In8_1_1 : int; In8_1_2 : int; In8_1_3 : int; In8_1_4 : int; In8_1_5 : int; In8_1_6 : int)
6
returns (Out1_1_1 : real; Out1_1_2 : real; Out1_1_3 : real; Out1_1_4 : real; Out1_1_5 : real; Out1_1_6 : real;
7
	Out2_2_1 : bool; Out2_2_2 : bool; Out2_2_3 : bool; Out2_2_4 : bool; Out2_2_5 : bool; Out2_2_6 : bool;
8
	Out3_3_1 : int; Out3_3_2 : int; Out3_3_3 : int; Out3_3_4 : int; Out3_3_5 : int; Out3_3_6 : int;
9
	Out4_4_1 : real; Out4_4_2 : real; Out4_4_3 : real;
10
	Out5_5_1 : bool; Out5_5_2 : bool; Out5_5_3 : bool;
11
	Out6_6_1 : int; Out6_6_2 : int; Out6_6_3 : int;
12
	Out7_7_1 : int; Out7_7_2 : int; Out7_7_3 : int;
13
	Out8_8_1 : int; Out8_8_2 : int; Out8_8_3 : int; Out8_8_4 : int; Out8_8_5 : int; Out8_8_6 : int); 
14
var
15
	Assignment_1_1 : real; Assignment_1_2 : real; Assignment_1_3 : real; Assignment_1_4 : real; Assignment_1_5 : real; Assignment_1_6 : real;
16
	Assignment1_1_1 : bool; Assignment1_1_2 : bool; Assignment1_1_3 : bool; Assignment1_1_4 : bool; Assignment1_1_5 : bool; Assignment1_1_6 : bool;
17
	Assignment2_1_1 : int; Assignment2_1_2 : int; Assignment2_1_3 : int; Assignment2_1_4 : int; Assignment2_1_5 : int; Assignment2_1_6 : int;
18
	Assignment3_1_1 : real; Assignment3_1_2 : real; Assignment3_1_3 : real;
19
	Assignment4_1_1 : bool; Assignment4_1_2 : bool; Assignment4_1_3 : bool;
20
	Assignment5_1_1 : int; Assignment5_1_2 : int; Assignment5_1_3 : int;
21
	Assignment6_1_1 : int; Assignment6_1_2 : int; Assignment6_1_3 : int;
22
	Assignment7_1_1 : int; Assignment7_1_2 : int; Assignment7_1_3 : int; Assignment7_1_4 : int; Assignment7_1_5 : int; Assignment7_1_6 : int;
23
	Constant1_1_1 : real;
24
	Constant2_1_1 : real;
25
	Constant3_1_1 : bool;
26
	Constant4_1_1 : bool;
27
	Constant5_1_1 : int;
28
	Constant6_1_1 : int;
29
	Constant7_1_1 : int; Constant7_1_2 : int; Constant7_1_3 : int;
30
	Constant8_1_1 : int; Constant8_1_2 : int; Constant8_1_3 : int; Constant8_1_4 : int; Constant8_1_5 : int; Constant8_1_6 : int;
31
	i_virtual_local : real;
32
let 
33
	Assignment_1_1 = In1_1_1;
34
	Assignment_1_2 = Constant1_1_1;
35
	Assignment_1_3 = In1_1_3;
36
	Assignment_1_4 = In1_1_4;
37
	Assignment_1_5 = Constant1_1_1;
38
	Assignment_1_6 = In1_1_6;
39
	Assignment1_1_1 = In2_1_1;
40
	Assignment1_1_2 = Constant3_1_1;
41
	Assignment1_1_3 = In2_1_3;
42
	Assignment1_1_4 = In2_1_4;
43
	Assignment1_1_5 = Constant3_1_1;
44
	Assignment1_1_6 = In2_1_6;
45
	Assignment2_1_1 = In3_1_1;
46
	Assignment2_1_2 = Constant5_1_1;
47
	Assignment2_1_3 = In3_1_3;
48
	Assignment2_1_4 = In3_1_4;
49
	Assignment2_1_5 = Constant5_1_1;
50
	Assignment2_1_6 = In3_1_6;
51
	Assignment3_1_1 = Constant2_1_1;
52
	Assignment3_1_2 = Constant2_1_1;
53
	Assignment3_1_3 = In4_1_3;
54
	Assignment4_1_1 = In5_1_1;
55
	Assignment4_1_2 = In5_1_2;
56
	Assignment4_1_3 = Constant4_1_1;
57
	Assignment5_1_1 = Constant6_1_1;
58
	Assignment5_1_2 = In6_1_2;
59
	Assignment5_1_3 = In6_1_3;
60
	Assignment6_1_1 = Constant7_1_1;
61
	Assignment6_1_2 = Constant7_1_2;
62
	Assignment6_1_3 = Constant7_1_3;
63
	Assignment7_1_1 = Constant8_1_1;
64
	Assignment7_1_2 = Constant8_1_2;
65
	Assignment7_1_3 = Constant8_1_3;
66
	Assignment7_1_4 = Constant8_1_4;
67
	Assignment7_1_5 = Constant8_1_5;
68
	Assignment7_1_6 = Constant8_1_6;
69
	Constant1_1_1 = 12.00000000;
70
	Constant2_1_1 = 12.00000000;
71
	Constant3_1_1 = true;
72
	Constant4_1_1 = true;
73
	Constant5_1_1 = 12;
74
	Constant6_1_1 = 12;
75
	Constant7_1_1 = 2;
76
	Constant7_1_2 = 3;
77
	Constant7_1_3 = 4;
78
	Constant8_1_1 = 2;
79
	Constant8_1_2 = 3;
80
	Constant8_1_3 = 4;
81
	Constant8_1_4 = 5;
82
	Constant8_1_5 = 6;
83
	Constant8_1_6 = 7;
84
	Out1_1_1 = Assignment_1_1;
85
	Out1_1_2 = Assignment_1_2;
86
	Out1_1_3 = Assignment_1_3;
87
	Out1_1_4 = Assignment_1_4;
88
	Out1_1_5 = Assignment_1_5;
89
	Out1_1_6 = Assignment_1_6;
90
	Out2_2_1 = Assignment1_1_1;
91
	Out2_2_2 = Assignment1_1_2;
92
	Out2_2_3 = Assignment1_1_3;
93
	Out2_2_4 = Assignment1_1_4;
94
	Out2_2_5 = Assignment1_1_5;
95
	Out2_2_6 = Assignment1_1_6;
96
	Out3_3_1 = Assignment2_1_1;
97
	Out3_3_2 = Assignment2_1_2;
98
	Out3_3_3 = Assignment2_1_3;
99
	Out3_3_4 = Assignment2_1_4;
100
	Out3_3_5 = Assignment2_1_5;
101
	Out3_3_6 = Assignment2_1_6;
102
	Out4_4_1 = Assignment3_1_1;
103
	Out4_4_2 = Assignment3_1_2;
104
	Out4_4_3 = Assignment3_1_3;
105
	Out5_5_1 = Assignment4_1_1;
106
	Out5_5_2 = Assignment4_1_2;
107
	Out5_5_3 = Assignment4_1_3;
108
	Out6_6_1 = Assignment5_1_1;
109
	Out6_6_2 = Assignment5_1_2;
110
	Out6_6_3 = Assignment5_1_3;
111
	Out7_7_1 = Assignment6_1_1;
112
	Out7_7_2 = Assignment6_1_2;
113
	Out7_7_3 = Assignment6_1_3;
114
	Out8_8_1 = Assignment7_1_1;
115
	Out8_8_2 = Assignment7_1_2;
116
	Out8_8_3 = Assignment7_1_3;
117
	Out8_8_4 = Assignment7_1_4;
118
	Out8_8_5 = Assignment7_1_5;
119
	Out8_8_6 = Assignment7_1_6;
120
	i_virtual_local= 0.0 -> 1.0;
121
tel