update test oracles
Showing
- src/plugins/e-acsl/tests/format/oracle_ci/fprintf.res.oracle 3 additions, 3 deletionssrc/plugins/e-acsl/tests/format/oracle_ci/fprintf.res.oracle
- src/plugins/e-acsl/tests/format/oracle_ci/gen_fprintf.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/format/oracle_ci/gen_fprintf.c
- src/plugins/e-acsl/tests/format/oracle_ci/gen_printf.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/format/oracle_ci/gen_printf.c
- src/plugins/e-acsl/tests/format/oracle_ci/printf.res.oracle 3 additions, 3 deletionssrc/plugins/e-acsl/tests/format/oracle_ci/printf.res.oracle
- src/plugins/variadic/tests/known/oracle/fcntl.res.oracle 3 additions, 3 deletionssrc/plugins/variadic/tests/known/oracle/fcntl.res.oracle
- src/plugins/variadic/tests/known/oracle/open.res.oracle 3 additions, 3 deletionssrc/plugins/variadic/tests/known/oracle/open.res.oracle
- src/plugins/variadic/tests/known/oracle/open_wrong.res.oracle 3 additions, 3 deletions...plugins/variadic/tests/known/oracle/open_wrong.res.oracle
- src/plugins/variadic/tests/known/oracle/openat.res.oracle 3 additions, 3 deletionssrc/plugins/variadic/tests/known/oracle/openat.res.oracle
Loading
Please register or sign in to comment