Add exact bytecode counting #5
Description
Measuring CPU time is platform-dependent and unreliable. We'd like to count the number of bytecodes executed. This can be done portably and with little overhead: http://infoscience.epfl.ch/record/109475/files/QAPL06.pdf