-
- Downloads
[tests] remove 'COMMENT: no diff' lines from bts and e-acsl-runtime tests
Showing
- src/plugins/e-acsl/tests/bts/bts1304.i 0 additions, 2 deletionssrc/plugins/e-acsl/tests/bts/bts1304.i
- src/plugins/e-acsl/tests/bts/bts1307.i 0 additions, 2 deletionssrc/plugins/e-acsl/tests/bts/bts1307.i
- src/plugins/e-acsl/tests/bts/bts1324.i 0 additions, 2 deletionssrc/plugins/e-acsl/tests/bts/bts1324.i
- src/plugins/e-acsl/tests/bts/bts1326.i 0 additions, 2 deletionssrc/plugins/e-acsl/tests/bts/bts1326.i
- src/plugins/e-acsl/tests/bts/bts1390.c 0 additions, 3 deletionssrc/plugins/e-acsl/tests/bts/bts1390.c
- src/plugins/e-acsl/tests/bts/bts1398.c 0 additions, 3 deletionssrc/plugins/e-acsl/tests/bts/bts1398.c
- src/plugins/e-acsl/tests/bts/bts1399.c 0 additions, 2 deletionssrc/plugins/e-acsl/tests/bts/bts1399.c
- src/plugins/e-acsl/tests/bts/bts1478.c 0 additions, 2 deletionssrc/plugins/e-acsl/tests/bts/bts1478.c
- src/plugins/e-acsl/tests/bts/bts1700.i 0 additions, 1 deletionsrc/plugins/e-acsl/tests/bts/bts1700.i
- src/plugins/e-acsl/tests/bts/bts1717.i 0 additions, 3 deletionssrc/plugins/e-acsl/tests/bts/bts1717.i
- src/plugins/e-acsl/tests/bts/bts1837.i 0 additions, 1 deletionsrc/plugins/e-acsl/tests/bts/bts1837.i
- src/plugins/e-acsl/tests/bts/oracle/bts1304.res.oracle 2 additions, 2 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1304.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle 4 additions, 4 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1324.res.oracle 2 additions, 2 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1324.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1390.res.oracle 7 additions, 7 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1390.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1399.res.oracle 3 additions, 3 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1399.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1837.res.oracle 2 additions, 2 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1837.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1304.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/gen_bts1304.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c 17 additions, 17 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1324.c 4 additions, 4 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1324.c
Loading
Please register or sign in to comment