-
- Downloads
Merge branch 'feature/patrick/dunable-ptests-script' into 'master'
[Ptests] Changes into MODULE directive Closes #1035 See merge request frama-c/frama-c!3113
Showing
- Changelog 9 additions, 6 deletionsChangelog
- Makefile 4 additions, 4 deletionsMakefile
- doc/developer/advance.tex 4 additions, 1 deletiondoc/developer/advance.tex
- ptests/ptests.ml 378 additions, 302 deletionsptests/ptests.ml
- src/plugins/aorai/tests/ya/assigns.c 1 addition, 1 deletionsrc/plugins/aorai/tests/ya/assigns.c
- tests/builtins/big_local_array.i 3 additions, 2 deletionstests/builtins/big_local_array.i
- tests/cil/change_formals.c 4 additions, 4 deletionstests/cil/change_formals.c
- tests/cil/insert_formal.i 1 addition, 1 deletiontests/cil/insert_formal.i
- tests/cil/mkBinOp.i 2 additions, 2 deletionstests/cil/mkBinOp.i
- tests/constant_propagation/introduction_of_non_explicit_cast.c 2 additions, 2 deletions.../constant_propagation/introduction_of_non_explicit_cast.c
- tests/float/fval_test.i 1 addition, 1 deletiontests/float/fval_test.i
- tests/jcdb/jcdb.c 8 additions, 6 deletionstests/jcdb/jcdb.c
- tests/journal/intra.i 3 additions, 3 deletionstests/journal/intra.i
- tests/libc/fc_libc.c 11 additions, 11 deletionstests/libc/fc_libc.c
- tests/misc/add_assigns.i 2 additions, 2 deletionstests/misc/add_assigns.i
- tests/misc/behavior_names.i 1 addition, 1 deletiontests/misc/behavior_names.i
- tests/misc/bts0452.i 2 additions, 2 deletionstests/misc/bts0452.i
- tests/misc/bts0489.i 2 additions, 2 deletionstests/misc/bts0489.i
- tests/misc/bts1201.i 2 additions, 2 deletionstests/misc/bts1201.i
- tests/misc/bts1347.i 2 additions, 2 deletionstests/misc/bts1347.i
Loading
Please register or sign in to comment