[eacsl:tests] Update tests
Showing
- src/plugins/e-acsl/tests/arith/bitwise.c 1 addition, 2 deletionssrc/plugins/e-acsl/tests/arith/bitwise.c
- src/plugins/e-acsl/tests/arith/oracle_ci/bitwise.res.oracle 36 additions, 64 deletionssrc/plugins/e-acsl/tests/arith/oracle_ci/bitwise.res.oracle
- src/plugins/e-acsl/tests/arith/oracle_ci/gen_bitwise.c 584 additions, 14 deletionssrc/plugins/e-acsl/tests/arith/oracle_ci/gen_bitwise.c
Loading
Please register or sign in to comment