X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftracer.ml;h=17e05401cb6de86d548ce374013266e64e7d7069;hb=ecec752325cb3d207894a4f8d772936bd7ad9f4a;hp=9eae54768ef81575279d9812f88cd1845fecdbd6;hpb=a6baedc6c67cb1de0587a779f8bcddf276b0bf4c;p=SXSI%2Fxpathcomp.git diff --git a/src/tracer.ml b/src/tracer.ml index 9eae547..17e0540 100644 --- a/src/tracer.ml +++ b/src/tracer.ml @@ -3,7 +3,7 @@ open Format type tracer = string type level = int -let tracers = [ "top-down-run"; "top-down-approx"; "result-set"; "level2-jit"; "res-jit" ] +let tracers = [ "top-down-run"; "top-down-approx"; "result-set"; "level2-jit"; "res-jit"; "grammar"; "twopass" ] let active_tracers : (tracer, int) Hashtbl.t = Hashtbl.create 17 let available () = tracers