lic2soc: split ActionsDeps into ActionsDeps and SortActions.
Indeed, computing the dependencies and choosing an order for actions (that may optimize test openning in the near futurea) are 2 different things.
Showing
- src/actionsDeps.ml 11 additions, 61 deletionssrc/actionsDeps.ml
- src/actionsDeps.mli 6 additions, 4 deletionssrc/actionsDeps.mli
- src/lic2soc.ml 9 additions, 35 deletionssrc/lic2soc.ml
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/sortActions.ml 107 additions, 0 deletionssrc/sortActions.ml
- src/sortActions.mli 9 additions, 0 deletionssrc/sortActions.mli
- test/lus2lic.sum 14 additions, 14 deletionstest/lus2lic.sum
- test/lus2lic.time 9 additions, 9 deletionstest/lus2lic.time
Loading
Please register or sign in to comment