Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / BitwiseOR_int8_PP.LUSTREC_BitwiseOR_int8_PP_mpfr100_output_values @ cd1faebc

History | View | Annotate | Download (1.24 KB)

1 4748b215 hbourbou
'Out1_1': '62' 
2
'Out2_1': '108' 
3
'Out2_2': '60' 
4
'Out2_3': '45' 
5
'Out3_1': '-5' 
6
'Out3_2': '-35' 
7
'Out3_3': '-33' 
8
'Out1_1': '126' 
9
'Out2_1': '63' 
10
'Out2_2': '46' 
11
'Out2_3': '123' 
12
'Out3_1': '-1' 
13
'Out3_2': '-33' 
14
'Out3_3': '-35' 
15
'Out1_1': '95' 
16
'Out2_1': '125' 
17
'Out2_2': '63' 
18
'Out2_3': '45' 
19
'Out3_1': '-37' 
20
'Out3_2': '-1' 
21
'Out3_3': '-37' 
22
'Out1_1': '121' 
23
'Out2_1': '85' 
24
'Out2_2': '25' 
25
'Out2_3': '89' 
26
'Out3_1': '-33' 
27
'Out3_2': '-37' 
28
'Out3_3': '-33' 
29
'Out1_1': '127' 
30
'Out2_1': '62' 
31
'Out2_2': '86' 
32
'Out2_3': '94' 
33
'Out3_1': '-35' 
34
'Out3_2': '-1' 
35
'Out3_3': '-5' 
36
'Out1_1': '85' 
37
'Out2_1': '47' 
38
'Out2_2': '111' 
39
'Out2_3': '61' 
40
'Out3_1': '-1' 
41
'Out3_2': '-3' 
42
'Out3_3': '-5' 
43
'Out1_1': '35' 
44
'Out2_1': '87' 
45
'Out2_2': '117' 
46
'Out2_3': '85' 
47
'Out3_1': '-35' 
48
'Out3_2': '-39' 
49
'Out3_3': '-1' 
50
'Out1_1': '97' 
51
'Out2_1': '127' 
52
'Out2_2': '94' 
53
'Out2_3': '94' 
54
'Out3_1': '-35' 
55
'Out3_2': '-35' 
56
'Out3_3': '-33' 
57
'Out1_1': '63' 
58
'Out2_1': '71' 
59
'Out2_2': '79' 
60
'Out2_3': '127' 
61
'Out3_1': '-37' 
62
'Out3_2': '-39' 
63
'Out3_3': '-33' 
64
'Out1_1': '123' 
65
'Out2_1': '111' 
66
'Out2_2': '107' 
67
'Out2_3': '63' 
68
'Out3_1': '-5' 
69
'Out3_2': '-7' 
70
'Out3_3': '-37' 
71
'Out1_1': '79' 
72
'Out2_1': '91' 
73
'Out2_2': '95' 
74
'Out2_3': '122' 
75
'Out3_1': '-5' 
76
'Out3_2': '-33' 
77
'Out3_3': '-5'