Andrea Aquino

2014-10-17 15:31:09 UTC

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

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