diff --git a/tests/value/oracle_apron/partitioning-interproc.0.res.oracle b/tests/value/oracle_apron/partitioning-interproc.0.res.oracle new file mode 100644 index 0000000000000000000000000000000000000000..e64c57f27312171ca2f44caf1d8123951bdc7206 --- /dev/null +++ b/tests/value/oracle_apron/partitioning-interproc.0.res.oracle @@ -0,0 +1,11 @@ +16,17c16,22 +< [eva] tests/value/partitioning-interproc.c:30: +< Reusing old results for call to cassign +--- +> [eva] computing for function cassign <- cassign_test. +> Called from tests/value/partitioning-interproc.c:30. +> [eva] computing for function Frama_C_nondet <- cassign <- cassign_test. +> Called from tests/value/partitioning-interproc.c:11. +> [eva] Done for function Frama_C_nondet +> [eva] Recording results for cassign +> [eva] Done for function cassign