Run options: --seed 23602

# Running:

.........

Finished in 0.129637s, 69.4245 runs/s, 69.4245 assertions/s.

9 runs, 9 assertions, 0 failures, 0 errors, 0 skips