Merge branch 'fix/eva/octagon-domain' into 'master'
[Eva] Fixes a soundness bug and a precision bug in the octagon domain. See merge request frama-c/frama-c!3357
No related branches found
No related tags found
Showing
- doc/value/main.tex 1 addition, 1 deletiondoc/value/main.tex
- src/plugins/value/domains/octagons.ml 57 additions, 58 deletionssrc/plugins/value/domains/octagons.ml
- tests/value/octagons.c 36 additions, 9 deletionstests/value/octagons.c
- tests/value/oracle/octagons.res.oracle 140 additions, 93 deletionstests/value/oracle/octagons.res.oracle
- tests/value/oracle_apron/octagons.res.oracle 1 addition, 1 deletiontests/value/oracle_apron/octagons.res.oracle
- tests/value/oracle_equality/octagons.res.oracle 6 additions, 6 deletionstests/value/oracle_equality/octagons.res.oracle
- tests/value/oracle_gauges/octagons.res.oracle 10 additions, 10 deletionstests/value/oracle_gauges/octagons.res.oracle
- tests/value/oracle_octagon/relations2.res.oracle 4 additions, 0 deletionstests/value/oracle_octagon/relations2.res.oracle
Loading
Please register or sign in to comment