debug

Author: RalfJung

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"