diff tests/run.py @ 898:6524260be543

show a total for verification progress
author Dan Villiom Podlaski Christiansen <danchr@gmail.com>
date Sun, 13 May 2012 15:36:45 +0200
parents d3ff5807f1bd
children 772280aed751
line wrap: on
line diff