[klee-dev] Percentage of KLEE's cache hits

[Andrea Aquino]

Dear all,

I analyzed some programs using KLEE and I am trying to calculate how many cache hits the cache implemented in KLEE gets.

I am currently doing it counting the formulas in the all-queries.smt2 file (AQ), counting the formulas in the solver-queries.smt2 file (SQ) and then calculating the percentage of hits as: [(AQ - SQ) / AQ] * 100

Is this correct or am I doing some wrong assumption on the content of these two files?
If it is the case, what is the easiest way to do it?

Best regards,
Andrea Aquino