[tests] update tests after rebase
Showing
- src/plugins/e-acsl/tests/bts/oracle/bts1390.res.oracle 1 addition, 3 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1390.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1324.c 2 additions, 24 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1324.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1390.c 43 additions, 9 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1390.c
Loading
Please register or sign in to comment