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
