Merge branch 'feature/patrick/dunable-ptests' into 'master'
[Ptests] changes to prefigure dune testing mode (adds EXIT directive) See merge request frama-c/frama-c!3105
No related branches found
No related tags found
Showing
- doc/developer/advance.tex 14 additions, 1 deletiondoc/developer/advance.tex
- doc/developer/changes.tex 5 additions, 0 deletionsdoc/developer/changes.tex
- ptests/ptests.ml 132 additions, 74 deletionsptests/ptests.ml
- src/plugins/aorai/tests/ya/metavariables-incompatible.i 1 addition, 2 deletionssrc/plugins/aorai/tests/ya/metavariables-incompatible.i
- src/plugins/aorai/tests/ya/metavariables-wrong.i 1 addition, 1 deletionsrc/plugins/aorai/tests/ya/metavariables-wrong.i
- src/plugins/aorai/tests/ya/singleassignment-wrong.i 1 addition, 1 deletionsrc/plugins/aorai/tests/ya/singleassignment-wrong.i
- src/plugins/report/tests/report/classify.c 1 addition, 0 deletionssrc/plugins/report/tests/report/classify.c
- src/plugins/report/tests/report/oracle/classified.0.json 1 addition, 1 deletionsrc/plugins/report/tests/report/oracle/classified.0.json
- src/plugins/report/tests/report/oracle/classified.1.json 1 addition, 1 deletionsrc/plugins/report/tests/report/oracle/classified.1.json
- src/plugins/report/tests/report/oracle/classified.2.json 1 addition, 1 deletionsrc/plugins/report/tests/report/oracle/classified.2.json
- src/plugins/report/tests/report/oracle/classified.3.json 2 additions, 2 deletionssrc/plugins/report/tests/report/oracle/classified.3.json
- src/plugins/report/tests/report/oracle/classified.4.json 2 additions, 2 deletionssrc/plugins/report/tests/report/oracle/classified.4.json
- src/plugins/report/tests/report/oracle/classified.5.json 4 additions, 4 deletionssrc/plugins/report/tests/report/oracle/classified.5.json
- src/plugins/report/tests/report/oracle/classify.0.res.oracle 1 addition, 1 deletionsrc/plugins/report/tests/report/oracle/classify.0.res.oracle
- src/plugins/report/tests/report/oracle/classify.1.res.oracle 1 addition, 1 deletionsrc/plugins/report/tests/report/oracle/classify.1.res.oracle
- src/plugins/report/tests/report/oracle/classify.2.res.oracle 1 addition, 1 deletionsrc/plugins/report/tests/report/oracle/classify.2.res.oracle
- src/plugins/report/tests/report/oracle/classify.3.res.oracle 1 addition, 1 deletionsrc/plugins/report/tests/report/oracle/classify.3.res.oracle
- src/plugins/report/tests/report/oracle/classify.4.res.oracle 1 addition, 1 deletionsrc/plugins/report/tests/report/oracle/classify.4.res.oracle
- src/plugins/report/tests/report/oracle/classify.5.res.oracle 1 addition, 1 deletionsrc/plugins/report/tests/report/oracle/classify.5.res.oracle
- src/plugins/server/tests/batch/ast_services.i 6 additions, 0 deletionssrc/plugins/server/tests/batch/ast_services.i
Loading
Please register or sign in to comment