Adjusted test suite as per changes of RTL prefixes
Showing
- src/plugins/e-acsl/tests/bts/bts1399.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/bts/bts1399.c
- src/plugins/e-acsl/tests/bts/oracle/bts1304.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts1304.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle 2 additions, 2 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1324.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts1324.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1326.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts1326.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1390.res.oracle 2 additions, 2 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1390.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1399.res.oracle 5 additions, 5 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1399.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1478.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts1478.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1700.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts1700.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1717.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts1717.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1718.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts1718.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1837.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts1837.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1304.c 10 additions, 8 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1304.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c 148 additions, 139 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1324.c 41 additions, 37 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1324.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1326.c 70 additions, 68 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1326.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1390.c 90 additions, 86 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1390.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1399.c 16 additions, 16 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1399.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1478.c 11 additions, 11 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1478.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1700.c 18 additions, 17 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1700.c
Loading
Please register or sign in to comment