[wp] Remove files restored by mistake
Showing
- src/plugins/wp/tests/wp_bts/issue_143.i 0 additions, 22 deletionssrc/plugins/wp/tests/wp_bts/issue_143.i
- src/plugins/wp/tests/wp_bts/oracle/issue_141.res.oracle 0 additions, 10 deletionssrc/plugins/wp/tests/wp_bts/oracle/issue_141.res.oracle
- src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2471.2.res.oracle 0 additions, 14 deletions...ugins/wp/tests/wp_bts/oracle_qualif/bts_2471.2.res.oracle
- src/plugins/wp/tests/wp_bts/oracle_qualif/issue_143.0.res.oracle 0 additions, 14 deletions...gins/wp/tests/wp_bts/oracle_qualif/issue_143.0.res.oracle
- src/plugins/wp/tests/wp_bts/oracle_qualif/issue_143.1.res.oracle 0 additions, 15 deletions...gins/wp/tests/wp_bts/oracle_qualif/issue_143.1.res.oracle
- src/plugins/wp/tests/wp_bts/oracle_qualif/issue_143.2.res.oracle 0 additions, 14 deletions...gins/wp/tests/wp_bts/oracle_qualif/issue_143.2.res.oracle
- src/plugins/wp/tests/wp_bts/oracle_qualif/issue_143.3.res.oracle 0 additions, 17 deletions...gins/wp/tests/wp_bts/oracle_qualif/issue_143.3.res.oracle
- src/plugins/wp/tests/wp_bts/oracle_qualif/issue_453.res.oracle 0 additions, 18 deletions...lugins/wp/tests/wp_bts/oracle_qualif/issue_453.res.oracle
- src/plugins/wp/tests/wp_gallery/oracle/frama_c_hashtbl_solved.res.oracle 0 additions, 153 deletions...tests/wp_gallery/oracle/frama_c_hashtbl_solved.res.oracle
- src/plugins/wp/tests/wp_gallery/oracle/loop-statement.res.oracle 0 additions, 19 deletions...gins/wp/tests/wp_gallery/oracle/loop-statement.res.oracle
- src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.res.oracle 0 additions, 181 deletions...p_gallery/oracle_qualif/frama_c_hashtbl_solved.res.oracle
- src/plugins/wp/tests/wp_gallery/oracle_qualif/loop-statement.res.oracle 0 additions, 30 deletions.../tests/wp_gallery/oracle_qualif/loop-statement.res.oracle
- src/plugins/wp/tests/wp_hoare/oracle/alias_assigns_hypotheses.res.oracle 0 additions, 254 deletions...tests/wp_hoare/oracle/alias_assigns_hypotheses.res.oracle
Loading
Please register or sign in to comment