Remove the dependencies of Lv6MainArgs in Lv6utils introduced by Mamadou
(which breaks lurettetop) nb : Mamadou's change broke some tests (18->53). Empty body is generated for nodes that have one eq. I'll fix that later.
Showing
- src/genOcamlGlue.ml 2 additions, 2 deletionssrc/genOcamlGlue.ml
- src/licDump.ml 6 additions, 1 deletionsrc/licDump.ml
- src/licPrg.ml 2 additions, 2 deletionssrc/licPrg.ml
- src/lus2licRun.ml 2 additions, 2 deletionssrc/lus2licRun.ml
- src/lv6util.ml 0 additions, 9 deletionssrc/lv6util.ml
- src/main.ml 3 additions, 3 deletionssrc/main.ml
- src/socExec.ml 2 additions, 2 deletionssrc/socExec.ml
- src/socUtils.ml 2 additions, 2 deletionssrc/socUtils.ml
- test/lus2lic.sum 53 additions, 72 deletionstest/lus2lic.sum
- test/lus2lic.time 7 additions, 7 deletionstest/lus2lic.time
Loading
Please register or sign in to comment