File tree 7 files changed +11
-11
lines changed
src/tools/miri/test-cargo-miri
7 files changed +11
-11
lines changed Original file line number Diff line number Diff line change @@ -3,5 +3,5 @@ running 2 tests
3
3
test test::dev_dependency ... ok
4
4
test test::exported_symbol ... ok
5
5
6
- test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
6
+ test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in $TIME
7
7
Original file line number Diff line number Diff line change 1
1
2
2
running 2 tests
3
3
..
4
- test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
4
+ test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in $TIME
5
5
6
6
imported main
7
7
8
8
running 6 tests
9
9
...i..
10
- test result: ok. 5 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out
10
+ test result: ok. 5 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in $TIME
11
11
Original file line number Diff line number Diff line change 1
1
2
2
running 2 tests
3
3
..
4
- test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
4
+ test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in $TIME
5
5
6
6
imported main
7
7
8
8
running 6 tests
9
9
...i..
10
- test result: ok. 5 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out
10
+ test result: ok. 5 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in $TIME
11
11
12
12
13
13
running 5 tests
Original file line number Diff line number Diff line change 1
1
2
2
running 0 tests
3
3
4
- test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 2 filtered out
4
+ test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 2 filtered out; finished in $TIME
5
5
6
6
imported main
7
7
8
8
running 1 test
9
9
test simple ... ok
10
10
11
- test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 5 filtered out
11
+ test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 5 filtered out; finished in $TIME
12
12
Original file line number Diff line number Diff line change 1
1
2
2
running 0 tests
3
3
4
- test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 2 filtered out
4
+ test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 2 filtered out; finished in $TIME
5
5
6
6
imported main
7
7
8
8
running 1 test
9
9
test simple ... ok
10
10
11
- test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 5 filtered out
11
+ test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 5 filtered out; finished in $TIME
12
12
13
13
14
14
running 0 tests
Original file line number Diff line number Diff line change 1
1
2
2
running 0 tests
3
3
4
- test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
4
+ test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in $TIME
5
5
6
6
subcrate testing
Original file line number Diff line number Diff line change @@ -7,5 +7,5 @@ test does_not_work_on_miri ... ignored
7
7
test fail_index_check - should panic ... ok
8
8
test simple ... ok
9
9
10
- test result: ok. 5 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out
10
+ test result: ok. 5 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in $TIME
11
11
You can’t perform that action at this time.
0 commit comments