MissingFormatWidthException when using Statistics about jqwik HOT 3 CLOSED

It's a bug that I'll fix.

Two remarks anyway.

1. Your provider method can be simplified to (Java code):

    @Provide
    Arbitrary<List<Direction>> path(){
    	return of(Direction.class).list();
    }
   
   

2. The way you do it you collect statistics on the actual path contents per path size. If you just want statistics on the path size, something like that will suffice:

   Statistics.label("path size").collect(path.size());

   And then the bug will not show up either :-)

from jqwik.

Fix available in 1.2.2-SNAPSHOT

from jqwik.

Thanks for the remarks, I will improve the code.

from jqwik.