Merge branch 'feature/patrick/fitting-layout-for-wp-cast' into 'master'
[WP] better fitting detection for C cast See merge request frama-c/frama-c!2199
No related branches found
No related tags found
Showing
- src/plugins/wp/MemTyped.ml 91 additions, 24 deletionssrc/plugins/wp/MemTyped.ml
- src/plugins/wp/ctypes.ml 6 additions, 3 deletionssrc/plugins/wp/ctypes.ml
- src/plugins/wp/tests/wp_acsl/logic.i 4 additions, 4 deletionssrc/plugins/wp/tests/wp_acsl/logic.i
- src/plugins/wp/tests/wp_acsl/oracle/logic.res.oracle 20 additions, 45 deletionssrc/plugins/wp/tests/wp_acsl/oracle/logic.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.0.report.json 15 additions, 17 deletions...lugins/wp/tests/wp_acsl/oracle_qualif/logic.0.report.json
- src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.res.oracle 10 additions, 16 deletionssrc/plugins/wp/tests/wp_acsl/oracle_qualif/logic.res.oracle
- src/plugins/wp/tests/wp_typed/cast_fits.i 62 additions, 0 deletionssrc/plugins/wp/tests/wp_typed/cast_fits.i
- src/plugins/wp/tests/wp_typed/oracle/cast_fits.0.res.oracle 150 additions, 0 deletionssrc/plugins/wp/tests/wp_typed/oracle/cast_fits.0.res.oracle
- src/plugins/wp/tests/wp_typed/oracle/cast_fits.1.res.oracle 150 additions, 0 deletionssrc/plugins/wp/tests/wp_typed/oracle/cast_fits.1.res.oracle
- src/plugins/wp/tests/wp_typed/oracle_qualif/cast_fits.0.report.json 94 additions, 0 deletions...s/wp/tests/wp_typed/oracle_qualif/cast_fits.0.report.json
- src/plugins/wp/tests/wp_typed/oracle_qualif/cast_fits.res.oracle 39 additions, 0 deletions...gins/wp/tests/wp_typed/oracle_qualif/cast_fits.res.oracle
Loading
Please register or sign in to comment