Skip to content
Snippets Groups Projects
Commit 05003f6c authored by David Bühler's avatar David Bühler
Browse files

[Eva] Updates test oracles.

parent 758842d0
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
tests/value/oracle/partitioning-annots.2.res.oracle
+ 4
− 4
View file @ 05003f6c
...@@ -36,14 +36,14 @@ ...@@ -36,14 +36,14 @@
Frama_C_show_each_before_first_merge: {0}, {0}, {0} Frama_C_show_each_before_first_merge: {0}, {0}, {0}
[eva] tests/value/partitioning-annots.c:87: [eva] tests/value/partitioning-annots.c:87:
Frama_C_show_each_before_second_merge: {1}, {2}, {1} Frama_C_show_each_before_second_merge: {1}, {2}, {1}
[eva] tests/value/partitioning-annots.c:87:
Frama_C_show_each_before_second_merge: {0}, {2}, {0}
[eva] tests/value/partitioning-annots.c:87: [eva] tests/value/partitioning-annots.c:87:
Frama_C_show_each_before_second_merge: {1}, {1}, {1} Frama_C_show_each_before_second_merge: {1}, {1}, {1}
[eva] tests/value/partitioning-annots.c:87:
Frama_C_show_each_before_second_merge: {0}, {1}, {0}
[eva] tests/value/partitioning-annots.c:87: [eva] tests/value/partitioning-annots.c:87:
Frama_C_show_each_before_second_merge: {1}, {0}, {1} Frama_C_show_each_before_second_merge: {1}, {0}, {1}
[eva] tests/value/partitioning-annots.c:87:
Frama_C_show_each_before_second_merge: {0}, {2}, {0}
[eva] tests/value/partitioning-annots.c:87:
Frama_C_show_each_before_second_merge: {0}, {1}, {0}
[eva] tests/value/partitioning-annots.c:87: [eva] tests/value/partitioning-annots.c:87:
Frama_C_show_each_before_second_merge: {0}, {0}, {0} Frama_C_show_each_before_second_merge: {0}, {0}, {0}
[eva] tests/value/partitioning-annots.c:89: [eva] tests/value/partitioning-annots.c:89:
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment