Run options: --seed 6897

Running tests:

....

Finished tests in 3.426317s, 1.1674 tests/s, 2.9186 assertions/s.

4 tests, 10 assertions, 0 failures, 0 errors, 0 skips