Fixing a few bugs in the statistics printout.
[jpf-core.git] / docs / graphics / states-mc.svg
docs/graphics/states-mc.svg