diff --git a/tests/value/oracle/partitioning-annots.2.res.oracle b/tests/value/oracle/partitioning-annots.2.res.oracle index 64a0b52e080ccb1be2263ff9f2a956d0722b9641..dde4f31559201bbf0457ba17491a875b8653978a 100644 --- a/tests/value/oracle/partitioning-annots.2.res.oracle +++ b/tests/value/oracle/partitioning-annots.2.res.oracle @@ -36,14 +36,14 @@ Frama_C_show_each_before_first_merge: {0}, {0}, {0} [eva] tests/value/partitioning-annots.c:87: 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: 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: 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: Frama_C_show_each_before_second_merge: {0}, {0}, {0} [eva] tests/value/partitioning-annots.c:89: