about summary refs log tree commit diff homepage
path: root/test/regression/2018-05-05-number-instructions-dumped-states.c
AgeCommit message (Collapse)Author
2018-04-09doDumpStates: incorrectly increments statsFrank Busse
doDumpStates calls stepInstruction and therefore indirectly increases time and instruction statistics for all dangling (dumped) states. This patch removes the call, but now the timing stats for the last executed state are lost, as StatsTracker::stepInstruction isn't called anymore.