-
Notifications
You must be signed in to change notification settings - Fork 391
Closed
Labels
A-aliasingArea: This affects the aliasing model (Stacked/Tree Borrows)Area: This affects the aliasing model (Stacked/Tree Borrows)I-slowImpact: Makes Miri even slower than it already isImpact: Makes Miri even slower than it already is
Description
Given the simple library:
#[cfg(test)]
mod tests {
#[test]
fn failed() {
assert_eq!(1, 2);
}
}
and then running
RUST_BACKTRACE=full MIRIFLAGS="-Zmiri-disable-isolation" cargo +nightly miri test
the output results in:
Finished test [unoptimized + debuginfo] target(s) in 0.00s
Running unittests (target/x86_64-unknown-linux-gnu/debug/deps/test_miri-72fa64ca114eaddd)
running 1 test
test tests::failed ... FAILED
failures:
and then just infinitely hangs.
Metadata
Metadata
Assignees
Labels
A-aliasingArea: This affects the aliasing model (Stacked/Tree Borrows)Area: This affects the aliasing model (Stacked/Tree Borrows)I-slowImpact: Makes Miri even slower than it already isImpact: Makes Miri even slower than it already is