Project

General

Profile

Download (5.77 KB) Statistics
| Branch: | Tag: | Revision:

lustrec-tests/regression_tests/lustre_files/success/Simulink/src_flattening_3_test/flattening_3_test_flattening_3_test__output_values @ cc6eda98

1 
'Out1_1_1': '71630226433348229660672.000000'
2 
'Out2_2_1': '0.000000'
3 
'Out3_3_1': '71630226433348229660672.000000'
4 
'Out1_1_1': '178511700889180559114240.000000'
5 
'Out2_2_1': '77.953125'
6 
'Out3_3_1': '178511700889180559114240.000000'
7 
'Out1_1_1': '11913658432538646937600.000000'
8 
'Out2_2_1': '84.292855'
9 
'Out3_3_1': '11913658432538646937600.000000'
10 
'Out1_1_1': '254626758872846322106368.000000'
11 
'Out2_2_1': '58.427643'
12 
'Out3_3_1': '254626758872846322106368.000000'
13 
'Out1_1_1': '312629390786911773726343168.000000'
14 
'Out2_2_1': '48.427276'
15 
'Out3_3_1': '312629390786911773726343168.000000'
16 
'Out1_1_1': '2616346159382736758898688.000000'
17 
'Out2_2_1': '50.364293'
18 
'Out3_3_1': '2616346159382736758898688.000000'
19 
'Out1_1_1': '280046520343096379572224.000000'
20 
'Out2_2_1': '87.107039'
21 
'Out3_3_1': '280046520343096379572224.000000'
22 
'Out1_1_1': '3272420952803080640745439232.000000'
23 
'Out2_2_1': '62.791915'
24 
'Out3_3_1': '3272420952803080640745439232.000000'
25 
'Out1_1_1': '297119611380354514944.000000'
26 
'Out2_2_1': '68.818405'
27 
'Out3_3_1': '297119611380354514944.000000'
28 
'Out1_1_1': '2810359252103.496094'
29 
'Out2_2_1': '89.563389'
30 
'Out3_3_1': '2810359252103.496094'
31 
'Out1_1_1': '1738403130536396159188992.000000'
32 
'Out2_2_1': '10.523697'
33 
'Out3_3_1': '1738403130536396159188992.000000'
34 
'Out1_1_1': '11459809968461126303744.000000'
35 
'Out2_2_1': '0.005910'
36 
'Out3_3_1': '11459809968461126303744.000000'
37 
'Out1_1_1': '2436584684599636876328960.000000'
38 
'Out2_2_1': '32.341122'
39 
'Out3_3_1': '2436584684599636876328960.000000'
40 
'Out1_1_1': '47278907449870112522240.000000'
41 
'Out2_2_1': '68.272581'
42 
'Out3_3_1': '47278907449870112522240.000000'
43 
'Out1_1_1': '3563042938090866898020335616.000000'
44 
'Out2_2_1': '61.822221'
45 
'Out3_3_1': '3563042938090866898020335616.000000'
46 
'Out1_1_1': '14888200991078571401281536.000000'
47 
'Out2_2_1': '35.575669'
48 
'Out3_3_1': '14888200991078571401281536.000000'
49 
'Out1_1_1': '23642551554876720365436928.000000'
50 
'Out2_2_1': '53.735798'
51 
'Out3_3_1': '23642551554876720365436928.000000'
52 
'Out1_1_1': '8459984489252821.000000'
53 
'Out2_2_1': '28.095073'
54 
'Out3_3_1': '8459984489252821.000000'
55 
'Out1_1_1': '220367885247268129781841920.000000'
56 
'Out2_2_1': '52.692877'
57 
'Out3_3_1': '220367885247268129781841920.000000'
58 
'Out1_1_1': '58917917861272.554688'
59 
'Out2_2_1': '72.593874'
60 
'Out3_3_1': '58917917861272.554688'
61 
'Out1_1_1': '15897533725352549941248.000000'
62 
'Out2_2_1': '27.998109'
63 
'Out3_3_1': '15897533725352549941248.000000'
64 
'Out1_1_1': '265984254334480360144896.000000'
65 
'Out2_2_1': '61.636107'
66 
'Out3_3_1': '265984254334480360144896.000000'
67 
'Out1_1_1': '1901418541652493262127104.000000'
68 
'Out2_2_1': '52.788754'
69 
'Out3_3_1': '1901418541652493262127104.000000'
70 
'Out1_1_1': '473450943177987391488.000000'
71 
'Out2_2_1': '20.790172'
72 
'Out3_3_1': '473450943177987391488.000000'
73 
'Out1_1_1': '384947292214094623668174848.000000'
74 
'Out2_2_1': '82.823197'
75 
'Out3_3_1': '384947292214094623668174848.000000'
76 
'Out1_1_1': '719800861298796544.000000'
77 
'Out2_2_1': '21.314616'
78 
'Out3_3_1': '719800861298796544.000000'
79 
'Out1_1_1': '1752920061278613580212600832.000000'
80 
'Out2_2_1': '14.206693'
81 
'Out3_3_1': '1752920061278613580212600832.000000'
82 
'Out1_1_1': '787933919317400064360448.000000'
83 
'Out2_2_1': '63.561219'
84 
'Out3_3_1': '787933919317400064360448.000000'
85 
'Out1_1_1': '2417934359714013384802304.000000'
86 
'Out2_2_1': '63.892874'
87 
'Out3_3_1': '2417934359714013384802304.000000'
88 
'Out1_1_1': '69866724421864720.000000'
89 
'Out2_2_1': '28.693703'
90 
'Out3_3_1': '69866724421864720.000000'
91 
'Out1_1_1': '3033874694522744602624.000000'
92 
'Out2_2_1': '21.975275'
93 
'Out3_3_1': '3033874694522744602624.000000'
94 
'Out1_1_1': '37249999153415531266048.000000'
95 
'Out2_2_1': '59.308586'
96 
'Out3_3_1': '37249999153415531266048.000000'
97 
'Out1_1_1': '1751328885668959439479111680.000000'
98 
'Out2_2_1': '70.583947'
99 
'Out3_3_1': '1751328885668959439479111680.000000'
100 
'Out1_1_1': '41055144455481119511412736.000000'
101 
'Out2_2_1': '83.158012'
102 
'Out3_3_1': '41055144455481119511412736.000000'
103 
'Out1_1_1': '191210536428803522560.000000'
104 
'Out2_2_1': '50.628018'
105 
'Out3_3_1': '191210536428803522560.000000'
106 
'Out1_1_1': '616997988778015981568.000000'
107 
'Out2_2_1': '38.412666'
108 
'Out3_3_1': '616997988778015981568.000000'
109 
'Out1_1_1': '146060638382608867131392.000000'
110 
'Out2_2_1': '84.675807'
111 
'Out3_3_1': '146060638382608867131392.000000'
112 
'Out1_1_1': '103060465402994610929664.000000'
113 
'Out2_2_1': '93.766176'
114 
'Out3_3_1': '103060465402994610929664.000000'
115 
'Out1_1_1': '216395299282327085963542528.000000'
116 
'Out2_2_1': '31.939913'
117 
'Out3_3_1': '216395299282327085963542528.000000'
118 
'Out1_1_1': '1130461060408333236179042304.000000'
119 
'Out2_2_1': '82.170667'
120 
'Out3_3_1': '1130461060408333236179042304.000000'
121 
'Out1_1_1': '989708372846592402879676416.000000'
122 
'Out2_2_1': '59.635445'
123 
'Out3_3_1': '989708372846592402879676416.000000'
124 
'Out1_1_1': '2260652963168728773759598592.000000'
125 
'Out2_2_1': '83.106421'
126 
'Out3_3_1': '2260652963168728773759598592.000000'
127 
'Out1_1_1': '40105222608548914138185728.000000'
128 
'Out2_2_1': '63.905408'
129 
'Out3_3_1': '40105222608548914138185728.000000'
130 
'Out1_1_1': '10087028403656659566592.000000'
131 
'Out2_2_1': '95.026869'
132 
'Out3_3_1': '10087028403656659566592.000000'
133 
'Out1_1_1': '32793369480130610073698304.000000'
134 
'Out2_2_1': '63.057940'
135 
'Out3_3_1': '32793369480130610073698304.000000'
136 
'Out1_1_1': '15702827411819532.000000'
137 
'Out2_2_1': '36.983472'
138 
'Out3_3_1': '15702827411819532.000000'
139 
'Out1_1_1': '7780280610527860391673856.000000'
140 
'Out2_2_1': '16.035975'
141 
'Out3_3_1': '7780280610527860391673856.000000'
142 
'Out1_1_1': '7043153786517407662080.000000'
143 
'Out2_2_1': '6.423219'
144 
'Out3_3_1': '7043153786517407662080.000000'
145 
'Out1_1_1': '48274337552506337487749120.000000'
146 
'Out2_2_1': '89.840623'
147 
'Out3_3_1': '48274337552506337487749120.000000'
148 
'Out1_1_1': '86047214968094507008.000000'
149 
'Out2_2_1': '98.764895'
150 
'Out3_3_1': '86047214968094507008.000000'
(3-3/4)