On 16/10/2017 11:53, David Hildenbrand wrote: > > Looks like adding these assertions was counter productive :)
Or productive. Bugs happen, and if they are a good occasion to add new tests to the testsuite or at least a comment to the code, all the better. Paolo
