Fix a bug occuring when instanciating models.
+ enhance error msg (which helped finding the bug, but that migth also be useful for ed-users...).
Showing
- src/compiledData.ml 8 additions, 8 deletionssrc/compiledData.ml
- src/lazyCompiler.ml 43 additions, 19 deletionssrc/lazyCompiler.ml
- src/licDump.ml 5 additions, 1 deletionsrc/licDump.ml
- src/licDump.mli 2 additions, 1 deletionsrc/licDump.mli
- src/test/should_work/NONREG/model.lus 28 additions, 0 deletionssrc/test/should_work/NONREG/model.lus
- src/test/test.res.exp 21 additions, 0 deletionssrc/test/test.res.exp
Loading
Please register or sign in to comment