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
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
