Run options: --seed 36646

# Running:

......

Finished in 0.001399s, 4288.7777 runs/s, 4288.7777 assertions/s.

6 runs, 6 assertions, 0 failures, 0 errors, 0 skips