Cover example differs #316
Description
When doing the example of https://crosshair.readthedocs.io/en/latest/cover.html , I noticed that the result is different:
$ crosshair cover foo.py
average([0.0], default=float("inf"))
To get the same results I had to increase the iterations:
$ crosshair cover --max_uninteresting_iterations 15 foo.py
average([0.0], default=float("inf"))
average([], default=0.0)
$ crosshair cover --max_uninteresting_iterations 19 foo.py
average([0.0], default=float("inf"))
average([], default=0.0)
average([], default=None)
offtopic: Thank you for this very curious library!