test-cargo-miri/test.default.stdout.ref

   1
   2 running 2 tests
   3 ..
   4 test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
   5
   6 imported main
   7
   8 running 7 tests
   9 ..i....
  10 test result: ok. 6 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out
  11
  12
  13 running 3 tests
  14 ...
  15 test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in $TIME
  16