[wp] Update tests oracle: we warn on dependencies
Showing
- src/plugins/wp/tests/wp_bts/oracle/issue-684-exit.res.oracle 72 additions, 0 deletionssrc/plugins/wp/tests/wp_bts/oracle/issue-684-exit.res.oracle
- src/plugins/wp/tests/wp_bts/oracle_qualif/issue-684-exit.res.oracle 72 additions, 0 deletions...s/wp/tests/wp_bts/oracle_qualif/issue-684-exit.res.oracle
- src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.res.oracle 0 additions, 8 deletions..._gallery/oracle_qualif/frama_c_exo3_solved.old.res.oracle
- src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.res.oracle 0 additions, 8 deletions...llery/oracle_qualif/frama_c_exo3_solved.old.v2.res.oracle
- src/plugins/wp/tests/wp_hoare/oracle/dispatch_var.res.oracle 21 additions, 0 deletionssrc/plugins/wp/tests/wp_hoare/oracle/dispatch_var.res.oracle
- src/plugins/wp/tests/wp_hoare/oracle/reference.res.oracle 12 additions, 0 deletionssrc/plugins/wp/tests/wp_hoare/oracle/reference.res.oracle
- src/plugins/wp/tests/wp_hoare/oracle/reference_and_struct.res.oracle 6 additions, 0 deletions.../wp/tests/wp_hoare/oracle/reference_and_struct.res.oracle
- src/plugins/wp/tests/wp_hoare/oracle/reference_array.res.oracle 13 additions, 0 deletions...ugins/wp/tests/wp_hoare/oracle/reference_array.res.oracle
- src/plugins/wp/tests/wp_hoare/oracle_qualif/dispatch_var.res.oracle 21 additions, 0 deletions...s/wp/tests/wp_hoare/oracle_qualif/dispatch_var.res.oracle
- src/plugins/wp/tests/wp_hoare/oracle_qualif/reference.res.oracle 12 additions, 0 deletions...gins/wp/tests/wp_hoare/oracle_qualif/reference.res.oracle
- src/plugins/wp/tests/wp_hoare/oracle_qualif/reference_and_struct.res.oracle 6 additions, 0 deletions...ts/wp_hoare/oracle_qualif/reference_and_struct.res.oracle
- src/plugins/wp/tests/wp_hoare/oracle_qualif/reference_array.res.oracle 13 additions, 0 deletions...p/tests/wp_hoare/oracle_qualif/reference_array.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle/subset_fopen.res.oracle 6 additions, 0 deletions...plugins/wp/tests/wp_plugin/oracle/subset_fopen.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/subset_fopen.res.oracle 6 additions, 0 deletions.../wp/tests/wp_plugin/oracle_qualif/subset_fopen.res.oracle
- src/plugins/wp/tests/wp_tip/oracle/chunk_printing.res.oracle 8 additions, 0 deletionssrc/plugins/wp/tests/wp_tip/oracle/chunk_printing.res.oracle
- src/plugins/wp/tests/wp_typed/oracle/mvar.0.res.oracle 7 additions, 0 deletionssrc/plugins/wp/tests/wp_typed/oracle/mvar.0.res.oracle
- src/plugins/wp/tests/wp_typed/oracle/mvar.1.res.oracle 7 additions, 0 deletionssrc/plugins/wp/tests/wp_typed/oracle/mvar.1.res.oracle
- src/plugins/wp/tests/wp_typed/oracle_qualif/mvar.res.oracle 7 additions, 0 deletionssrc/plugins/wp/tests/wp_typed/oracle_qualif/mvar.res.oracle
- src/plugins/wp/tests/wp_usage/oracle/code_spec.res.oracle 14 additions, 0 deletionssrc/plugins/wp/tests/wp_usage/oracle/code_spec.res.oracle
- src/plugins/wp/tests/wp_usage/oracle/ref-usage-lemmas.res.oracle 4 additions, 0 deletions...gins/wp/tests/wp_usage/oracle/ref-usage-lemmas.res.oracle
Loading
Please register or sign in to comment