Remove some modules that are now defined in rdbg-plugin: Event, Failure, Expr, Data, RifIO.
nb : I've finaly understood the performance/out of memory problems I had for that last 6 months !!!!! It was due to the lurette.cov file that was getting larger and larger.
Showing
- Makefile 9 additions, 42 deletionsMakefile
- Makefile.common 4 additions, 3 deletionsMakefile.common
- src/data.ml 0 additions, 176 deletionssrc/data.ml
- src/data.mli 0 additions, 30 deletionssrc/data.mli
- src/event.ml 0 additions, 79 deletionssrc/event.ml
- src/expr.ml 0 additions, 86 deletionssrc/expr.ml
- src/failure.ml 0 additions, 8 deletionssrc/failure.ml
- src/myGenlex.ml 0 additions, 0 deletionssrc/myGenlex.ml
- src/myGenlex.mli 0 additions, 0 deletionssrc/myGenlex.mli
- src/rif_base.ml 0 additions, 338 deletionssrc/rif_base.ml
- src/rif_base.mli 0 additions, 42 deletionssrc/rif_base.mli
- src/socExec.ml 9 additions, 9 deletionssrc/socExec.ml
- test/Makefile 1 addition, 1 deletiontest/Makefile
- test/lus2lic.sum 7 additions, 8 deletionstest/lus2lic.sum
- test/lus2lic.tests/non-reg.exp 14 additions, 1 deletiontest/lus2lic.tests/non-reg.exp
- test/lus2lic.time 2 additions, 2 deletionstest/lus2lic.time
Loading
Please register or sign in to comment