rdbg-plugin: add events that mimick node calls when array or struct are accessed
BTW, fix iterator handling which was not working from SocExecDbg
Showing
- _oasis 2 additions, 2 deletions_oasis
- src/licEvalConst.ml 3 additions, 3 deletionssrc/licEvalConst.ml
- src/lustre-v6.mldylib 2 additions, 1 deletionsrc/lustre-v6.mldylib
- src/lustre-v6.mllib 2 additions, 1 deletionsrc/lustre-v6.mllib
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/main.ml 1 addition, 1 deletionsrc/main.ml
- src/soc2cUtil.ml 4 additions, 12 deletionssrc/soc2cUtil.ml
- src/socExecDbg.ml 190 additions, 87 deletionssrc/socExecDbg.ml
- src/socExecValue.ml 1 addition, 1 deletionsrc/socExecValue.ml
- src/socUtils.ml 24 additions, 1 deletionsrc/socUtils.ml
- src/socUtils.mli 7 additions, 1 deletionsrc/socUtils.mli
- test/lus2lic.sum 13 additions, 13 deletionstest/lus2lic.sum
- test/should_work/map_red_iter.lus 4 additions, 4 deletionstest/should_work/map_red_iter.lus
- test/should_work/test_map.lus 4 additions, 4 deletionstest/should_work/test_map.lus
- test/should_work/trivial_array.lus 13 additions, 0 deletionstest/should_work/trivial_array.lus
- test/should_work/when_tuple.lus 6 additions, 1 deletiontest/should_work/when_tuple.lus
Loading
Please register or sign in to comment