Unplug the L2lAliasType pass as it breaks a lot of test (and looks useless).
Remove all test that now passes from the broken dir.
Showing
- src/ast2lic.ml 1 addition, 1 deletionsrc/ast2lic.ml
- src/compile.ml 2 additions, 2 deletionssrc/compile.ml
- src/evalClock.ml 161 additions, 161 deletionssrc/evalClock.ml
- src/evalType.ml 247 additions, 247 deletionssrc/evalType.ml
- src/l2lAliasType.ml 25 additions, 25 deletionssrc/l2lAliasType.ml
- src/lic.ml 4 additions, 1 deletionsrc/lic.ml
- src/unifyClock.ml 96 additions, 99 deletionssrc/unifyClock.ml
- src/unifyClock.mli 13 additions, 14 deletionssrc/unifyClock.mli
- test/lus2lic.sum 113 additions, 68 deletionstest/lus2lic.sum
- test/lus2lic.time 2 additions, 2 deletionstest/lus2lic.time
- test/should_work/Condact.lus 0 additions, 0 deletionstest/should_work/Condact.lus
- test/should_work/contractForElementSelectionInArray.lus 0 additions, 0 deletionstest/should_work/contractForElementSelectionInArray.lus
- test/should_work/decl.lus 0 additions, 0 deletionstest/should_work/decl.lus
- test/should_work/enum0.lus 0 additions, 0 deletionstest/should_work/enum0.lus
- test/should_work/lustre.lus 0 additions, 0 deletionstest/should_work/lustre.lus
- test/should_work/map_red_iter.lus 0 additions, 0 deletionstest/should_work/map_red_iter.lus
- test/should_work/model.lus 0 additions, 0 deletionstest/should_work/model.lus
- test/should_work/model2.lus 0 additions, 0 deletionstest/should_work/model2.lus
- test/should_work/modelInst.lus 0 additions, 0 deletionstest/should_work/modelInst.lus
- test/should_work/newpacks.lus 0 additions, 0 deletionstest/should_work/newpacks.lus
Loading
Please register or sign in to comment