[wp] Filters initialized when they are useless
Showing
- src/plugins/wp/Conditions.ml 42 additions, 0 deletionssrc/plugins/wp/Conditions.ml
- src/plugins/wp/Conditions.mli 1 addition, 0 deletionssrc/plugins/wp/Conditions.mli
- src/plugins/wp/Lang.ml 2 additions, 2 deletionssrc/plugins/wp/Lang.ml
- src/plugins/wp/Lang.mli 2 additions, 2 deletionssrc/plugins/wp/Lang.mli
- src/plugins/wp/MemLoader.ml 2 additions, 3 deletionssrc/plugins/wp/MemLoader.ml
- src/plugins/wp/MemTyped.ml 8 additions, 2 deletionssrc/plugins/wp/MemTyped.ml
- src/plugins/wp/MemVar.ml 20 additions, 7 deletionssrc/plugins/wp/MemVar.ml
- src/plugins/wp/MemZeroAlias.ml 1 addition, 1 deletionsrc/plugins/wp/MemZeroAlias.ml
- src/plugins/wp/Pcfg.ml 8 additions, 3 deletionssrc/plugins/wp/Pcfg.ml
- src/plugins/wp/Pcfg.mli 2 additions, 0 deletionssrc/plugins/wp/Pcfg.mli
- src/plugins/wp/Pcond.ml 4 additions, 0 deletionssrc/plugins/wp/Pcond.ml
- src/plugins/wp/Sigs.ml 3 additions, 2 deletionssrc/plugins/wp/Sigs.ml
- src/plugins/wp/tests/wp/oracle/stmtcompiler_test.res.oracle 88 additions, 55 deletionssrc/plugins/wp/tests/wp/oracle/stmtcompiler_test.res.oracle
- src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test_rela.res.oracle 12 additions, 6 deletions.../tests/wp/oracle_qualif/stmtcompiler_test_rela.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle/assigned_initialized_memtyped.res.oracle 10 additions, 31 deletions...s/wp_acsl/oracle/assigned_initialized_memtyped.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle/assigned_initialized_memvar.res.oracle 2 additions, 7 deletions...sts/wp_acsl/oracle/assigned_initialized_memvar.res.oracle
- src/plugins/wp/tests/wp_hoare/oracle/dispatch_var2.0.res.oracle 54 additions, 12 deletions...ugins/wp/tests/wp_hoare/oracle/dispatch_var2.0.res.oracle
- src/plugins/wp/wp_parameters.ml 7 additions, 0 deletionssrc/plugins/wp/wp_parameters.ml
- src/plugins/wp/wp_parameters.mli 1 addition, 0 deletionssrc/plugins/wp/wp_parameters.mli
- src/plugins/wp/wpo.ml 2 additions, 0 deletionssrc/plugins/wp/wpo.ml
Loading
Please register or sign in to comment