debug

Author: RalfJung

test-cargo-miri/Cargo.toml

@@ -6,7 +6,7 @@ edition = "2018"
 
 [dependencies]
 byteorder = "1.0"
+rand = { version = "0.7", features = ["small_rng"] }
 
 [dev-dependencies]
-rand = { version = "0.7", features = ["small_rng"] }
 num_cpus = "1.10.1"

test-cargo-miri/src/main.rs

@@ -1,16 +1,17 @@
-use byteorder::{BigEndian, ByteOrder};
+use rand::{SeedableRng, Rng, rngs::SmallRng};
 
 fn main() {
-    // Exercise external crate, printing to stdout.
-    let buf = &[1,2,3,4];
-    let n = <BigEndian as ByteOrder>::read_u32(buf);
-    assert_eq!(n, 0x01020304);
-    println!("{:#010x}", n);
+    // Try seeding with "real" entropy.
+    let mut rng = SmallRng::from_entropy();
+    let _val = rng.gen::<i32>();
+    let _val = rng.gen::<isize>();
+    let _val = rng.gen::<i128>();
 
-    // Access program arguments, printing to stderr.
-    for arg in std::env::args() {
-        eprintln!("{}", arg);
-    }
+    // Also try per-thread RNG.
+    let mut rng = rand::thread_rng();
+    let _val = rng.gen::<i32>();
+    let _val = rng.gen::<isize>();
+    let _val = rng.gen::<i128>();
 }
 
 #[cfg(test)]

travis.sh

@@ -17,10 +17,11 @@ echo
 
 # Test
 function run_tests {
-    ./miri test
+    # FIXME debugging
+    # ./miri test
     # "miri test" has built the sysroot for us, now this should pass without
     # any interactive questions.
-    test-cargo-miri/run-test.py
+    MIRI_LOG=info test-cargo-miri/run-test.py
 }
 
 echo "Test host architecture"