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; 0 filtered out
   5
   6
   7 running 0 tests
   8
   9 test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 2 filtered out
  10
  11 imported main
  12
  13 running 1 test
  14 test simple ... ok
  15
  16 test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 5 filtered out
  17