src/tools/miri/tests/compile-fail/panic/panic_abort2.rs

// error-pattern: the program aborted execution
// compile-flags: -C panic=abort

fn main() {
    std::panic!("{}-panicking from libstd", 42);
}