Merge branch 'fix/eva/unique-datatype-name' into 'master'
[Eva] Fixes a crash when running successive analyses with -eva-domains-function. See merge request frama-c/frama-c!4552
No related branches found
No related tags found
Showing
- src/plugins/eva/domains/domain_builder.ml 12 additions, 4 deletionssrc/plugins/eva/domains/domain_builder.ml
- tests/value/domains_function.c 23 additions, 0 deletionstests/value/domains_function.c
- tests/value/oracle/domains_function.0.res.oracle 38 additions, 38 deletionstests/value/oracle/domains_function.0.res.oracle
- tests/value/oracle/domains_function.1.res.oracle 112 additions, 0 deletionstests/value/oracle/domains_function.1.res.oracle
- tests/value/oracle_apron/domains_function.0.res.oracle 2 additions, 2 deletionstests/value/oracle_apron/domains_function.0.res.oracle
- tests/value/oracle_apron/domains_function.1.res.oracle 14 additions, 0 deletionstests/value/oracle_apron/domains_function.1.res.oracle
- tests/value/oracle_equality/domains_function.0.res.oracle 52 additions, 0 deletionstests/value/oracle_equality/domains_function.0.res.oracle
- tests/value/oracle_equality/domains_function.res.oracle 0 additions, 52 deletionstests/value/oracle_equality/domains_function.res.oracle
- tests/value/oracle_multidim/domains_function.0.res.oracle 76 additions, 0 deletionstests/value/oracle_multidim/domains_function.0.res.oracle
- tests/value/oracle_octagon/domains_function.1.res.oracle 14 additions, 0 deletionstests/value/oracle_octagon/domains_function.1.res.oracle
- tests/value/oracle_symblocs/domains_function.0.res.oracle 32 additions, 0 deletionstests/value/oracle_symblocs/domains_function.0.res.oracle
- tests/value/oracle_symblocs/domains_function.1.res.oracle 8 additions, 0 deletionstests/value/oracle_symblocs/domains_function.1.res.oracle
Loading
Please register or sign in to comment