V6 rdbg-plugin: add code to be able to debug sub-nodes from rdbg.
I have duplicated the interpretation function SocExec.soc_step into a CPS SocExecDbg.soc_step One day I migth only keep the dbg one.
Showing
- _oasis 1 addition, 1 deletion_oasis
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/socExec.ml 5 additions, 3 deletionssrc/socExec.ml
- src/socExecDbg.ml 270 additions, 13 deletionssrc/socExecDbg.ml
- src/socExecValue.ml 5 additions, 3 deletionssrc/socExecValue.ml
- test/lus2lic.sum 14 additions, 14 deletionstest/lus2lic.sum
Loading
Please register or sign in to comment