Soc2c : add support for (main) soc that have struct in their profile.
To do that, I've used the (un)expand_profile function defined in SocExec (and put the in a new module with a more neutral name: SocVar). expected passes 1116 -> 1121 unexpected failures 282 -> 277
Showing
- src/lus2licRun.ml 5 additions, 5 deletionssrc/lus2licRun.ml
- src/main.ml 5 additions, 5 deletionssrc/main.ml
- src/soc2c.ml 24 additions, 8 deletionssrc/soc2c.ml
- src/socExec.ml 5 additions, 104 deletionssrc/socExec.ml
- src/socExec.mli 1 addition, 7 deletionssrc/socExec.mli
- src/socVar.ml 117 additions, 0 deletionssrc/socVar.ml
- src/socVar.mli 17 additions, 0 deletionssrc/socVar.mli
- test/lus2lic.sum 11 additions, 11 deletionstest/lus2lic.sum
- test/lus2lic.time 1 addition, 1 deletiontest/lus2lic.time
Loading
Please register or sign in to comment