[tests] update wrt libc changes
Showing
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/mainargs.0.res.oracle 7 additions, 7 deletions.../e-acsl/tests/e-acsl-runtime/oracle/mainargs.0.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/mainargs.1.res.oracle 5 additions, 5 deletions.../e-acsl/tests/e-acsl-runtime/oracle/mainargs.1.res.oracle
Loading
Please register or sign in to comment