update oracles
most differences in Eva oracles come from the fact that now anonymous arguments are taken into account when generating default assigns for prototypes with empty specs.
Showing
- src/plugins/variadic/tests/declared/oracle/empty-vpar-with-ghost.res.oracle 1 addition, 1 deletion...ic/tests/declared/oracle/empty-vpar-with-ghost.res.oracle
- src/plugins/variadic/tests/declared/oracle/empty-vpar.res.oracle 1 addition, 1 deletion...gins/variadic/tests/declared/oracle/empty-vpar.res.oracle
- src/plugins/variadic/tests/declared/oracle/label.res.oracle 1 addition, 1 deletionsrc/plugins/variadic/tests/declared/oracle/label.res.oracle
- src/plugins/variadic/tests/declared/oracle/multi.res.oracle 2 additions, 2 deletionssrc/plugins/variadic/tests/declared/oracle/multi.res.oracle
- src/plugins/variadic/tests/declared/oracle/simple-with-ghost.res.oracle 2 additions, 2 deletions...riadic/tests/declared/oracle/simple-with-ghost.res.oracle
- src/plugins/variadic/tests/declared/oracle/simple.res.oracle 2 additions, 2 deletionssrc/plugins/variadic/tests/declared/oracle/simple.res.oracle
- tests/libc/oracle/fc_libc.1.res.oracle 7 additions, 7 deletionstests/libc/oracle/fc_libc.1.res.oracle
- tests/slicing/oracle/unravel-point.0.res.oracle 4 additions, 4 deletionstests/slicing/oracle/unravel-point.0.res.oracle
- tests/slicing/oracle/unravel-point.1.res.oracle 4 additions, 4 deletionstests/slicing/oracle/unravel-point.1.res.oracle
- tests/slicing/oracle/unravel-point.2.res.oracle 4 additions, 4 deletionstests/slicing/oracle/unravel-point.2.res.oracle
- tests/slicing/oracle/unravel-point.3.res.oracle 4 additions, 4 deletionstests/slicing/oracle/unravel-point.3.res.oracle
- tests/slicing/oracle/unravel-point.4.res.oracle 17 additions, 16 deletionstests/slicing/oracle/unravel-point.4.res.oracle
- tests/spec/oracle/unused.res.oracle 1 addition, 1 deletiontests/spec/oracle/unused.res.oracle
- tests/syntax/oracle/check_builtin_bts1440.res.oracle 538 additions, 498 deletionstests/syntax/oracle/check_builtin_bts1440.res.oracle
- tests/syntax/oracle/vdescr_bts1387.res.oracle 2 additions, 2 deletionstests/syntax/oracle/vdescr_bts1387.res.oracle
- tests/value/oracle/bug0223.0.res.oracle 1 addition, 1 deletiontests/value/oracle/bug0223.0.res.oracle
- tests/value/oracle/bug0223.1.res.oracle 1 addition, 1 deletiontests/value/oracle/bug0223.1.res.oracle
- tests/value/oracle/from_call.0.res.oracle 6 additions, 6 deletionstests/value/oracle/from_call.0.res.oracle
- tests/value/oracle/from_call.1.res.oracle 4 additions, 4 deletionstests/value/oracle/from_call.1.res.oracle
- tests/value/oracle/resolve.res.oracle 1 addition, 1 deletiontests/value/oracle/resolve.res.oracle
Loading
Please register or sign in to comment