I have written a test program (see attachment) that powers up the motors for 1 sec, then stops them again. Afterwards the motor rotation counters are printed to the display. Then, after resetting the counters via ResetRotationCount() both are printed to screen again. Unfortunately, resetting does not work "out of the box", afterwards the counters are still the same as before. It seems a Wait(1) command is needed after resetting the counter.
Is this a bug or a feature?