eclude doctests until we have them all audited

Author: RalfJung

rust-version

@@ -1 +1 @@
-nightly-2021-02-24
+nightly-2021-04-06

travis.sh

@@ -9,8 +9,8 @@ cp -a $(rustc --print sysroot)/lib/rustlib/src/rust/ rust-src-patched
 # run the tests (some also without validation, to exercise those code paths in Miri)
 export RUST_SRC=rust-src-patched
 echo && echo "## Testing core (no validation, no Stacked Borrows, symbolic alignment)" && echo
-MIRIFLAGS="-Zmiri-disable-validation -Zmiri-disable-stacked-borrows -Zmiri-symbolic-alignment-check" ./run-test.sh core -- --skip align 2>&1 | ts -i '%.s  '
+MIRIFLAGS="-Zmiri-disable-validation -Zmiri-disable-stacked-borrows -Zmiri-symbolic-alignment-check" ./run-test.sh core --libs --tests -- --skip align 2>&1 | ts -i '%.s  '
 echo && echo "## Testing core" && echo
-./run-test.sh core 2>&1 | ts -i '%.s  '
+./run-test.sh core --libs --tests 2>&1 | ts -i '%.s  '
 echo && echo "## Testing alloc (symbolic alignment)" && echo
-MIRIFLAGS="-Zmiri-symbolic-alignment-check" ./run-test.sh alloc 2>&1 | ts -i '%.s  '
+MIRIFLAGS="-Zmiri-symbolic-alignment-check" ./run-test.sh alloc --libs --tests 2>&1 | ts -i '%.s  '