lustrec-tests/regression_tests/lustre_files/success/Simulink/src_trigger_test/trigger_test_trigger_test_input_values @ 8451150a
1 |
26.849690563457106 |
---|---|
2 |
11.20334156266064 |
3 |
31.48149930889721 |
4 |
98.73422040831507 |
5 |
31.35103471255116 |
6 |
63.99802629520366 |
7 |
82.79714007480602 |
8 |
88.37676018452335 |
9 |
5.932984396339769 |
10 |
10.978331858253643 |
11 |
15.740900687151049 |
12 |
98.5561430606853 |
13 |
83.33192955933953 |
14 |
88.68747376242683 |
15 |
91.30037700957422 |
16 |
30.57897453272238 |
17 |
74.71948424518422 |
18 |
43.80914579382309 |
19 |
23.5379409199164 |
20 |
44.663715624840286 |
21 |
29.45237682712878 |
22 |
85.38064143986894 |
23 |
96.31470003683754 |
24 |
48.069612320359425 |
25 |
67.41383537590018 |
26 |
93.34151323217279 |
27 |
14.240801249823631 |
28 |
96.37421438612716 |
29 |
52.357733650096584 |
30 |
99.41206377900181 |
31 |
12.562109250345232 |
32 |
60.27071320408458 |
33 |
75.54562840356984 |
34 |
98.58102700318241 |
35 |
40.6348175201216 |
36 |
4.1039424432635645 |
37 |
22.970805218225177 |
38 |
19.892093300188186 |
39 |
76.7058205410803 |
40 |
94.33661608708161 |
41 |
6.592240494702661 |
42 |
83.75392601445833 |
43 |
27.908179618652095 |
44 |
6.234933411521104 |
45 |
50.25542860230329 |
46 |
99.65863166812332 |
47 |
18.697413889266446 |
48 |
25.285435498890486 |
49 |
34.35581333415687 |
50 |
12.978673307808908 |
51 |
73.39566963639979 |
52 |
46.20259514149695 |
53 |
19.804523436859935 |
54 |
92.42245733117886 |
55 |
54.07734957945958 |
56 |
56.85928356701668 |
57 |
91.48503297926756 |
58 |
60.76394393923207 |
59 |
23.7210931529485 |
60 |
57.069940089260825 |
61 |
84.14322187071298 |
62 |
10.621781924936592 |
63 |
66.36945850854543 |
64 |
2.8788985584824123 |
65 |
79.53227874858786 |
66 |
14.34865730414141 |
67 |
10.979021180801151 |
68 |
85.85400166247845 |
69 |
92.63772185978296 |
70 |
32.50165758191594 |
71 |
73.71007720398717 |
72 |
53.858268326314175 |
73 |
96.93681595353834 |
74 |
48.899665060228294 |
75 |
54.59645173235249 |
76 |
54.87007498266012 |
77 |
73.90046205575199 |
78 |
11.933871073073233 |
79 |
98.85241360557706 |
80 |
38.64489399290256 |
81 |
10.324636128215259 |
82 |
41.582753856602395 |
83 |
60.51503312838804 |
84 |
82.35940746516735 |
85 |
8.582286952134188 |
86 |
69.4929327669733 |
87 |
86.68677772019117 |
88 |
15.851311262493063 |
89 |
19.51557411711179 |
90 |
15.522533043414743 |
91 |
74.33448110869818 |
92 |
9.665960520791261 |
93 |
55.442171484073164 |
94 |
68.30379856738568 |
95 |
38.417325042620185 |
96 |
54.84349606829235 |
97 |
91.62831685187362 |
98 |
29.66689413775383 |
99 |
70.05777449421024 |
100 |
7.227871505825578 |