--expand-node: not all vars were substituted in var_info.clock_eff.
It was also the case in L2lRemovingAlias, but the bug in L2lExpandNode was happening before.
Showing
- _oasis 1 addition, 1 deletion_oasis
- src/l2lExpandNodes.ml 6 additions, 3 deletionssrc/l2lExpandNodes.ml
- src/l2lRemoveAlias.ml 21 additions, 3 deletionssrc/l2lRemoveAlias.ml
- src/lv6Compile.ml 1 addition, 1 deletionsrc/lv6Compile.ml
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- test/lus2lic.sum 13 additions, 13 deletionstest/lus2lic.sum
Loading
Please register or sign in to comment