src/tools/miri/tests/fail/panic/panic_abort4.rs

   1 //@error-pattern: the program aborted execution
   2 //@normalize-stderr-test: "\| +\^+" -> "| ^"
   3 //@normalize-stderr-test: "libc::abort\(\);|core::intrinsics::abort\(\);" -> "ABORT();"
   4 //@compile-flags: -C panic=abort
   5
   6 fn main() {
   7     core::panic!("{}-panicking from libcore", 42);
   8 }