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

[Cristian Cadar]

Hi Andrea,

This seems reasonable, but could be quite expensive, as you have to log 
all these queries.  A better way to do it would be to use the statistics 
in lib/Solver/SolverStats.cpp (note that there are two caches in KLEE, 
as explained briefly in our OSDI'08 paper and in a bit more detail in 
CAV'13).

Best,
Cristian

On 17/10/14 16:31, Andrea Aquino wrote:
> 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
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>