Merge branch 'fix/eva/wide-strings-comparison' into 'master'
[Eva] Do not fail on comparisons involving wide strings See merge request frama-c/frama-c!2735
No related branches found
No related tags found
Showing
- src/kernel_services/abstract_interp/locations.ml 0 additions, 35 deletionssrc/kernel_services/abstract_interp/locations.ml
- src/kernel_services/abstract_interp/locations.mli 0 additions, 3 deletionssrc/kernel_services/abstract_interp/locations.mli
- src/plugins/value/values/cvalue_forward.ml 46 additions, 20 deletionssrc/plugins/value/values/cvalue_forward.ml
- tests/value/oracle/strings.0.res.oracle 0 additions, 152 deletionstests/value/oracle/strings.0.res.oracle
- tests/value/oracle/strings.1.res.oracle 0 additions, 145 deletionstests/value/oracle/strings.1.res.oracle
- tests/value/oracle/strings.2.res.oracle 0 additions, 69 deletionstests/value/oracle/strings.2.res.oracle
- tests/value/oracle/strings.3.res.oracle 0 additions, 114 deletionstests/value/oracle/strings.3.res.oracle
- tests/value/oracle/strings.res.oracle 428 additions, 0 deletionstests/value/oracle/strings.res.oracle
- tests/value/strings.i 56 additions, 39 deletionstests/value/strings.i
Loading
Please register or sign in to comment