Rationnalize the use of time-profiling printing.
by - remove duplication (add a profile_info function ine Lv6Verbose - be more efficient (computing Sys.time only when necessary - control the time-profiling printing via the -dbg flag "profile", and not the verbosity level
Showing
- _oasis 1 addition, 1 deletion_oasis
- src/l2lSplit.ml 3 additions, 5 deletionssrc/l2lSplit.ml
- src/lic2soc.ml 9 additions, 12 deletionssrc/lic2soc.ml
- src/licTab.ml 6 additions, 8 deletionssrc/licTab.ml
- src/lv6Compile.ml 16 additions, 18 deletionssrc/lv6Compile.ml
- src/lv6Verbose.ml 6 additions, 0 deletionssrc/lv6Verbose.ml
- src/lv6Verbose.mli 2 additions, 0 deletionssrc/lv6Verbose.mli
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/main.ml 11 additions, 14 deletionssrc/main.ml
- src/socExec.ml 5 additions, 2 deletionssrc/socExec.ml
- src/sortActions.ml 6 additions, 9 deletionssrc/sortActions.ml
- test/lus2lic.sum 14 additions, 12 deletionstest/lus2lic.sum
Loading
Please register or sign in to comment