time f () ("evaluating query in " ^ msg ^ " mode")
in
in
time f () ("evaluating query in " ^ msg ^ " mode")
in
- let s = Naive.stats () in
+ let s = Runtime.stats () in
Run.(
Logger.msg `STATS
"@[tree size: %d@\ntraversals: %d@\ntransition fetch cache miss ratio: %f@\ntransition eval cache miss ratio: %f@\nNumber of visited nodes per pass: %a@]"
Run.(
Logger.msg `STATS
"@[tree size: %d@\ntraversals: %d@\ntransition fetch cache miss ratio: %f@\ntransition eval cache miss ratio: %f@\nNumber of visited nodes per pass: %a@]"