Merge branch 'dunable-ptests' into 'master'
[Tests] using PTEST_ORACLE variable in filter directives for specific tests of EVA See merge request frama-c/frama-c!3123
No related branches found
No related tags found
Showing
- Changelog 2 additions, 1 deletionChangelog
- doc/developer/advance.tex 15 additions, 2 deletionsdoc/developer/advance.tex
- ptests/ptests.ml 322 additions, 281 deletionsptests/ptests.ml
- src/plugins/value/utests 0 additions, 27 deletionssrc/plugins/value/utests
- src/plugins/value/vtests 0 additions, 38 deletionssrc/plugins/value/vtests
- tests/builtins/.gitignore 0 additions, 1 deletiontests/builtins/.gitignore
- tests/builtins/oracle_apron/allocated.0.res.oracle 8 additions, 0 deletionstests/builtins/oracle_apron/allocated.0.res.oracle
- tests/builtins/oracle_apron/memexec-malloc.res.oracle 0 additions, 10 deletionstests/builtins/oracle_apron/memexec-malloc.res.oracle
- tests/builtins/oracle_bitwise/allocated.0.res.oracle 4 additions, 0 deletionstests/builtins/oracle_bitwise/allocated.0.res.oracle
- tests/builtins/oracle_bitwise/allocated.1.res.oracle 0 additions, 11 deletionstests/builtins/oracle_bitwise/allocated.1.res.oracle
- tests/builtins/oracle_bitwise/malloc-optimistic.res.oracle 4 additions, 0 deletionstests/builtins/oracle_bitwise/malloc-optimistic.res.oracle
- tests/builtins/oracle_equalities/alloc_weak.res.oracle 7 additions, 0 deletionstests/builtins/oracle_equalities/alloc_weak.res.oracle
- tests/builtins/oracle_equalities/allocated.1.res.oracle 0 additions, 45 deletionstests/builtins/oracle_equalities/allocated.1.res.oracle
- tests/builtins/oracle_equalities/imprecise.res.oracle 14 additions, 0 deletionstests/builtins/oracle_equalities/imprecise.res.oracle
- tests/builtins/oracle_equalities/linked_list.1.res.oracle 23 additions, 0 deletionstests/builtins/oracle_equalities/linked_list.1.res.oracle
- tests/builtins/oracle_equalities/malloc-optimistic.res.oracle 0 additions, 39 deletions...s/builtins/oracle_equalities/malloc-optimistic.res.oracle
- tests/builtins/oracle_equalities/write-const.res.oracle 8 additions, 0 deletionstests/builtins/oracle_equalities/write-const.res.oracle
- tests/builtins/oracle_gauges/linked_list.0.res.oracle 7 additions, 0 deletionstests/builtins/oracle_gauges/linked_list.0.res.oracle
- tests/builtins/oracle_gauges/linked_list.1.res.oracle 7 additions, 0 deletionstests/builtins/oracle_gauges/linked_list.1.res.oracle
- tests/builtins/oracle_gauges/malloc-size-zero.1.res.oracle 11 additions, 0 deletionstests/builtins/oracle_gauges/malloc-size-zero.1.res.oracle
Loading
Please register or sign in to comment