Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
lustre-v6
Commits
c6d6814a
Commit
c6d6814a
authored
Mar 11, 2021
by
erwan
Browse files
Fix: a bug in -esa, wrt struct. The type of some resulting expr was wrong.
parent
230ca8fa
Pipeline
#62001
failed with stages
in 1 minute and 25 seconds
Changes
2
Pipelines
1
Expand all
Hide whitespace changes
Inline
Side-by-side
lib/l2lExpandArrays.ml
View file @
c6d6814a
This diff is collapsed.
Click to expand it.
test/lus2lic.sum
View file @
c6d6814a
==> lus2lic0.sum <==
Test run by jahier on Thu
Jul
1
6
1
6
:0
2:36
Test run by jahier on Thu
Mar
1
1
1
7
:0
5:43
Native configuration is x86_64-pc-linux-gnu
=== lus2lic0 tests ===
...
...
@@ -66,7 +66,7 @@ XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/lecte
XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/s.lus
==> lus2lic1.sum <==
Test run by jahier on Thu
Jul
1
6
1
6
:0
2:36
Test run by jahier on Thu
Mar
1
1
1
7
:0
5:43
Native configuration is x86_64-pc-linux-gnu
=== lus2lic1 tests ===
...
...
@@ -413,7 +413,7 @@ PASS: ./lus2lic {-2c multipar.lus -n multipar}
PASS: sh multipar.sh
==> lus2lic2.sum <==
Test run by jahier on Thu
Jul
1
6
1
6
:0
2:59
Test run by jahier on Thu
Mar
1
1
1
7
:0
6:11
Native configuration is x86_64-pc-linux-gnu
=== lus2lic2 tests ===
...
...
@@ -753,7 +753,7 @@ PASS: sh zzz2.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus {}
==> lus2lic3.sum <==
Test run by jahier on Thu
Jul
1
6
1
6
:0
3:31
Test run by jahier on Thu
Mar
1
1
1
7
:0
6:47
Native configuration is x86_64-pc-linux-gnu
=== lus2lic3 tests ===
...
...
@@ -1267,7 +1267,7 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
==> lus2lic4.sum <==
Test run by jahier on Thu
Jul
1
6
1
6
:0
4:14
Test run by jahier on Thu
Mar
1
1
1
7
:0
7:30
Native configuration is x86_64-pc-linux-gnu
=== lus2lic4 tests ===
...
...
@@ -1759,7 +1759,7 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
# of expected failures 54
==> lus2lic1.sum <==
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus 3
8449
{}
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus 3
6527
{}
=== lus2lic1 Summary ===
...
...
@@ -1788,13 +1788,13 @@ PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus 38449
===============================
# Total number of failures: 10
lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 0 seconds
lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 2
3
seconds
lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 3
2
seconds
lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 2
7
seconds
lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 3
6
seconds
lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 43 seconds
lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 2
1
seconds
lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 2
5
seconds
* Ref time:
7
0.
94
user 1
5.61
system
1:59.12
elapsed 7
2
%CPU (0avgtext+0avgdata 42
40
0maxresident)k
24
inputs+151
584
outputs (0major+84
07741
minor)pagefaults 0swaps
8
0.
22
user 1
7.98
system
2:12.40
elapsed 7
4
%CPU (0avgtext+0avgdata 42
38
0maxresident)k
0
inputs+151
696
outputs (0major+84
12242
minor)pagefaults 0swaps
* Quick time (-j 4):
101.95user 20.24
system 1:
42.06
elapsed 1
19
%CPU (0avgtext+0avgdata 42
5
68maxresident)k
14576
inputs+14
7936
outputs (1
5
major+8
23220
8minor)pagefaults 0swaps
96.17user 19.55
system 1:
26.54
elapsed 1
33
%CPU (0avgtext+0avgdata 42
3
68maxresident)k
6672
inputs+14
9632
outputs (1
2
major+8
31784
8minor)pagefaults 0swaps
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment