Merge branch 'jan/alias/struct' into 'master'
[alias] handle some outstanding issues and fix readout bug Closes #1368, #1299, and #1309 See merge request frama-c/frama-c!4509
No related branches found
No related tags found
Showing
- src/plugins/alias/src/abstract_state.ml 19 additions, 19 deletionssrc/plugins/alias/src/abstract_state.ml
- src/plugins/alias/src/options.ml 1 addition, 0 deletionssrc/plugins/alias/src/options.ml
- src/plugins/alias/src/options.mli 1 addition, 0 deletionssrc/plugins/alias/src/options.mli
- src/plugins/alias/src/simplified.ml 1 addition, 1 deletionsrc/plugins/alias/src/simplified.ml
- src/plugins/alias/tests/basic/oracle/cast1.res.oracle 4 additions, 2 deletionssrc/plugins/alias/tests/basic/oracle/cast1.res.oracle
- src/plugins/alias/tests/fixed_bugs/ex_jfla.c 51 additions, 0 deletionssrc/plugins/alias/tests/fixed_bugs/ex_jfla.c
- src/plugins/alias/tests/fixed_bugs/ex_jfla_2.c 51 additions, 0 deletionssrc/plugins/alias/tests/fixed_bugs/ex_jfla_2.c
- src/plugins/alias/tests/fixed_bugs/ex_jfla_3.c 41 additions, 0 deletionssrc/plugins/alias/tests/fixed_bugs/ex_jfla_3.c
- src/plugins/alias/tests/fixed_bugs/oracle/ex_jfla.res.oracle 179 additions, 0 deletionssrc/plugins/alias/tests/fixed_bugs/oracle/ex_jfla.res.oracle
- src/plugins/alias/tests/fixed_bugs/oracle/ex_jfla_2.res.oracle 223 additions, 0 deletions...lugins/alias/tests/fixed_bugs/oracle/ex_jfla_2.res.oracle
- src/plugins/alias/tests/fixed_bugs/oracle/ex_jfla_3.res.oracle 213 additions, 0 deletions...lugins/alias/tests/fixed_bugs/oracle/ex_jfla_3.res.oracle
- src/plugins/alias/tests/fixed_bugs/oracle/origin.res.oracle 10 additions, 7 deletionssrc/plugins/alias/tests/fixed_bugs/oracle/origin.res.oracle
- src/plugins/alias/tests/fixed_bugs/oracle/origin_simpl.res.oracle 4 additions, 2 deletions...ins/alias/tests/fixed_bugs/oracle/origin_simpl.res.oracle
- src/plugins/alias/tests/fixed_bugs/oracle/reduce_by_valid.res.oracle 35 additions, 0 deletions.../alias/tests/fixed_bugs/oracle/reduce_by_valid.res.oracle
- src/plugins/alias/tests/fixed_bugs/oracle/semver.res.oracle 2 additions, 1 deletionsrc/plugins/alias/tests/fixed_bugs/oracle/semver.res.oracle
- src/plugins/alias/tests/fixed_bugs/oracle/tkn-2.res.oracle 2 additions, 1 deletionsrc/plugins/alias/tests/fixed_bugs/oracle/tkn-2.res.oracle
- src/plugins/alias/tests/fixed_bugs/oracle/union_readback.res.oracle 16 additions, 0 deletions...s/alias/tests/fixed_bugs/oracle/union_readback.res.oracle
- src/plugins/alias/tests/fixed_bugs/oracle/union_vmap.res.oracle 2 additions, 2 deletions...ugins/alias/tests/fixed_bugs/oracle/union_vmap.res.oracle
- src/plugins/alias/tests/fixed_bugs/reduce_by_valid.c 7 additions, 0 deletionssrc/plugins/alias/tests/fixed_bugs/reduce_by_valid.c
- src/plugins/alias/tests/fixed_bugs/union_readback.c 19 additions, 0 deletionssrc/plugins/alias/tests/fixed_bugs/union_readback.c
Loading
Please register or sign in to comment