update test oracles
Showing
- src/plugins/e-acsl/tests/concurrency/oracle/gen_parallel_threads.c 1 addition, 1 deletion...ns/e-acsl/tests/concurrency/oracle/gen_parallel_threads.c
- src/plugins/e-acsl/tests/concurrency/oracle/gen_threads_debug.c 1 addition, 1 deletion...ugins/e-acsl/tests/concurrency/oracle/gen_threads_debug.c
- src/plugins/e-acsl/tests/concurrency/oracle/parallel_threads.res.oracle 2 additions, 2 deletions...acsl/tests/concurrency/oracle/parallel_threads.res.oracle
- src/plugins/e-acsl/tests/concurrency/oracle/threads_debug.res.oracle 2 additions, 2 deletions.../e-acsl/tests/concurrency/oracle/threads_debug.res.oracle
- tests/libc/oracle/fc_libc.1.res.oracle 31 additions, 6 deletionstests/libc/oracle/fc_libc.1.res.oracle
- tests/libc/oracle/socket.0.res.oracle 4 additions, 0 deletionstests/libc/oracle/socket.0.res.oracle
- tests/libc/oracle/socket.1.res.oracle 4 additions, 0 deletionstests/libc/oracle/socket.1.res.oracle
- tests/libc/oracle/unistd_h.0.res.oracle 50 additions, 0 deletionstests/libc/oracle/unistd_h.0.res.oracle
- tests/libc/oracle/unistd_h.1.res.oracle 50 additions, 0 deletionstests/libc/oracle/unistd_h.1.res.oracle
- tests/misc/oracle/audit-out.json 3 additions, 3 deletionstests/misc/oracle/audit-out.json
- tests/value/oracle/initialized.res.oracle 1 addition, 1 deletiontests/value/oracle/initialized.res.oracle
- tests/value/oracle/narrow_behaviors.res.oracle 1 addition, 1 deletiontests/value/oracle/narrow_behaviors.res.oracle
- tests/value/oracle/postcond_leaf.res.oracle 4 additions, 4 deletionstests/value/oracle/postcond_leaf.res.oracle
Loading
Please register or sign in to comment