src/tools/miri/test-cargo-miri/test.filter.stdout.ref

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