Merge branch 'feature/patrick/ptests-may-not-add-missing-ptest-file' into 'master'
tests may not add missing ptest file See merge request frama-c/frama-c!3556
Showing
- ptests/ptests.ml 33 additions, 22 deletionsptests/ptests.ml
- tests/float/absorb.c 7 additions, 3 deletionstests/float/absorb.c
- tests/float/oracle/absorb.res.oracle 0 additions, 1 deletiontests/float/oracle/absorb.res.oracle
- tests/float/oracle/absorb_sav.res 1 addition, 1 deletiontests/float/oracle/absorb_sav.res
- tests/float/oracle/absorb_sav2.res 3 additions, 3 deletionstests/float/oracle/absorb_sav2.res
- tests/journal/control.i 2 additions, 0 deletionstests/journal/control.i
- tests/journal/control2.c 2 additions, 0 deletionstests/journal/control2.c
- tests/journal/intra.i 2 additions, 0 deletionstests/journal/intra.i
- tests/journal/oracle/control.0.res.oracle 2 additions, 3 deletionstests/journal/oracle/control.0.res.oracle
- tests/journal/oracle/control.1.res.oracle 4 additions, 7 deletionstests/journal/oracle/control.1.res.oracle
- tests/journal/oracle/control.2.res.oracle 0 additions, 1 deletiontests/journal/oracle/control.2.res.oracle
- tests/journal/oracle/control2.res.oracle 5 additions, 6 deletionstests/journal/oracle/control2.res.oracle
- tests/journal/oracle/control2_sav.res 5 additions, 5 deletionstests/journal/oracle/control2_sav.res
- tests/journal/oracle/intra.res.oracle 15 additions, 16 deletionstests/journal/oracle/intra.res.oracle
- tests/misc/my_visitor.c 2 additions, 0 deletionstests/misc/my_visitor.c
- tests/misc/oracle/my_visitor.0.res.oracle 0 additions, 1 deletiontests/misc/oracle/my_visitor.0.res.oracle
- tests/misc/oracle/my_visitor.1.res.oracle 0 additions, 1 deletiontests/misc/oracle/my_visitor.1.res.oracle
- tests/saveload/basic.i 2 additions, 0 deletionstests/saveload/basic.i
- tests/saveload/bool.c 2 additions, 0 deletionstests/saveload/bool.c
- tests/saveload/callbacks.i 2 additions, 0 deletionstests/saveload/callbacks.i
Loading
Please register or sign in to comment