Run options: --seed 40414 Running tests: .... Finished tests in 2.074153s, 1.9285 tests/s, 4.8212 assertions/s. 4 tests, 10 assertions, 0 failures, 0 errors, 0 skips