Test run --dep

Author: oli-obk

ci/ci.sh

@@ -76,6 +76,9 @@ function run_tests {
     time HYPERFINE="hyperfine -w0 -r1" ./miri bench $TARGET_FLAG
   fi
 
+  ## Test that `miri run` with dependencies works
+  ./miri run $TARGET_FLAG --dep tests/pass-dep/getrandom.rs
+
   ## test-cargo-miri
   # On Windows, there is always "python", not "python3" or "python2".
   if command -v python3 > /dev/null; then