Move the test to src/main.rs

Author: hyd-dev

test-cargo-miri/src/lib.rs

@@ -1,21 +1,6 @@
-extern crate exported_symbol;
-
 /// Doc-test test
 /// ```rust
 /// assert!(cargo_miri_test::make_true());
-/// // Repeat calls to make sure the `Instance` cache is not broken.
-/// for _ in 0..3 {
-///     extern "Rust" {
-///         fn exported_symbol() -> i32;
-///         fn make_true() -> bool;
-///     }
-///     assert_eq!(unsafe { exported_symbol() }, 123456);
-///     assert!(unsafe { make_true() });
-/// }
-/// ```
-/// ```compile_fail
-/// // Make sure `exported_symbol_dep` is not a direct dependency for doctests.
-/// use exported_symbol_dep;
 /// ```
 /// ```rust,no_run
 /// assert!(!cargo_miri_test::make_true());

test-cargo-miri/src/main.rs

@@ -57,4 +57,20 @@ mod test {
         assert_ne!(x as usize, y);
         assert_ne!(y as u128, z);
     }
+
+    #[test]
+    fn exported_symbol() {
+        extern crate cargo_miri_test;
+        extern crate exported_symbol;
+        // Test calling exported symbols in (transitive) dependencies.
+        // Repeat calls to make sure the `Instance` cache is not broken.
+        for _ in 0..3 {
+            extern "Rust" {
+                fn exported_symbol() -> i32;
+                fn make_true() -> bool;
+            }
+            assert_eq!(unsafe { exported_symbol() }, 123456);
+            assert!(unsafe { make_true() });
+        }
+    }
 }

test-cargo-miri/test.bin-target.stdout.ref

@@ -1,6 +1,7 @@
 
-running 1 test
+running 2 tests
+test test::exported_symbol ... ok
 test test::rng ... ok
 
-test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
+test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
 

test-cargo-miri/test.cross-target.stdout.ref

@@ -1,7 +1,7 @@
 
-running 1 test
-.
-test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
+running 2 tests
+..
+test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
 
 imported main
 

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

@@ -1,7 +1,7 @@
 
-running 1 test
-.
-test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
+running 2 tests
+..
+test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
 
 imported main
 
@@ -10,11 +10,10 @@ running 7 tests
 test result: ok. 6 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out
 
 
-running 4 tests
-test src/lib.rs - make_true (line 16) ... ok
-test src/lib.rs - make_true (line 20) ... ok
-test src/lib.rs - make_true (line 23) ... ok
-test src/lib.rs - make_true (line 4) ... ok
+running 3 tests
+test src/lib.rs - make_true (line 2) ... ok
+test src/lib.rs - make_true (line 5) ... ok
+test src/lib.rs - make_true (line 8) ... ok
 
-test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in $TIME
+test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in $TIME
 

test-cargo-miri/test.filter.cross-target.stdout.ref

@@ -1,7 +1,7 @@
 
 running 0 tests
 
-test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 1 filtered out
+test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 2 filtered out
 
 imported main
 

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

@@ -1,7 +1,7 @@
 
 running 0 tests
 
-test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 1 filtered out
+test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 2 filtered out
 
 imported main
 
@@ -13,5 +13,5 @@ test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 6 filtered out
 
 running 0 tests
 
-test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 4 filtered out; finished in $TIME
+test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 3 filtered out; finished in $TIME