fpdiff does not work with dots after the number

Bug #1085036 reported by Michael Behrisch on 2012-11-30
This bug affects 1 person
Affects Status Importance Assigned to Milestone

Bug Description

if you compare lines like "time 12.1." and "time 12.2." they always differ regardless of the configured floating point tolerance due to the sloppy way fpdiff.py extracts the numbers in _getNumberAt.

Michael Behrisch (behrisch) wrote :

as far as I know this is fixed

Changed in texttest:
status: New → Fix Committed
Changed in texttest:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers