Merge branch 'fix/tests/internal-mode' into 'master'
Setting -wp-share should not implicitly lead to new output See merge request frama-c/frama-c!2837
No related branches found
No related tags found
Showing
- src/plugins/wp/driver.mll 5 additions, 5 deletionssrc/plugins/wp/driver.mll
- src/plugins/wp/tests/wp/oracle/bug_rte.res.oracle 0 additions, 1 deletionsrc/plugins/wp/tests/wp/oracle/bug_rte.res.oracle
- src/plugins/wp/tests/wp/oracle/cfg_loop.res.oracle 0 additions, 1 deletionsrc/plugins/wp/tests/wp/oracle/cfg_loop.res.oracle
- src/plugins/wp/tests/wp/oracle/sharing.res.oracle 0 additions, 1 deletionsrc/plugins/wp/tests/wp/oracle/sharing.res.oracle
- src/plugins/wp/tests/wp/oracle/stmtcompiler_test.res.oracle 0 additions, 1 deletionsrc/plugins/wp/tests/wp/oracle/stmtcompiler_test.res.oracle
- src/plugins/wp/tests/wp/oracle/stmtcompiler_test_rela.res.oracle 0 additions, 1 deletion...gins/wp/tests/wp/oracle/stmtcompiler_test_rela.res.oracle
- src/plugins/wp/tests/wp/oracle/wp_behav.res.oracle 0 additions, 1 deletionsrc/plugins/wp/tests/wp/oracle/wp_behav.res.oracle
- src/plugins/wp/tests/wp/oracle/wp_behavior.0.res.oracle 0 additions, 1 deletionsrc/plugins/wp/tests/wp/oracle/wp_behavior.0.res.oracle
- src/plugins/wp/tests/wp/oracle/wp_behavior.1.res.oracle 0 additions, 1 deletionsrc/plugins/wp/tests/wp/oracle/wp_behavior.1.res.oracle
- src/plugins/wp/tests/wp/oracle/wp_call_pre.0.res.oracle 0 additions, 1 deletionsrc/plugins/wp/tests/wp/oracle/wp_call_pre.0.res.oracle
- src/plugins/wp/tests/wp/oracle/wp_call_pre.1.res.oracle 0 additions, 1 deletionsrc/plugins/wp/tests/wp/oracle/wp_call_pre.1.res.oracle
- src/plugins/wp/tests/wp/oracle/wp_call_pre.2.res.oracle 0 additions, 1 deletionsrc/plugins/wp/tests/wp/oracle/wp_call_pre.2.res.oracle
- src/plugins/wp/tests/wp/oracle/wp_call_pre.3.res.oracle 0 additions, 1 deletionsrc/plugins/wp/tests/wp/oracle/wp_call_pre.3.res.oracle
- src/plugins/wp/tests/wp/oracle/wp_call_pre.4.res.oracle 0 additions, 1 deletionsrc/plugins/wp/tests/wp/oracle/wp_call_pre.4.res.oracle
- src/plugins/wp/tests/wp/oracle/wp_eqb.res.oracle 0 additions, 1 deletionsrc/plugins/wp/tests/wp/oracle/wp_eqb.res.oracle
- src/plugins/wp/tests/wp/oracle/wp_strategy.0.res.oracle 0 additions, 1 deletionsrc/plugins/wp/tests/wp/oracle/wp_strategy.0.res.oracle
- src/plugins/wp/tests/wp/oracle/wp_strategy.1.res.oracle 0 additions, 1 deletionsrc/plugins/wp/tests/wp/oracle/wp_strategy.1.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle/arith.res.oracle 0 additions, 1 deletionsrc/plugins/wp/tests/wp_acsl/oracle/arith.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle/assign_array.res.oracle 0 additions, 1 deletionsrc/plugins/wp/tests/wp_acsl/oracle/assign_array.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle/assigned_initialized_memtyped.res.oracle 0 additions, 1 deletion...s/wp_acsl/oracle/assigned_initialized_memtyped.res.oracle
Loading
Please register or sign in to comment