src/tools/miri/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 6 tests
   9 ...i..
  10 test result: ok. 5 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out
  11
  12
  13 running 4 tests
  14 ....
  15 test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in $TIME
  16