This report was generated with PropEr's master branch on 24/8/2020 commit.
PropEr normalises this example to either [0,1], [0,-1], [-1,0], or [1,0].
Over 100 runs, PropEr found a counterexample after 4 to 14 tests and performed between 0 and 3 shrinking attempts.
See the report of the run for more information.