summaryrefslogtreecommitdiff
path: root/src/tools/miri/tests/fail/no_main.rs
blob: e28205040871a74fb8fb74d89746ebcf5d337d28 (plain)
1
2
//@error-pattern: miri can only run programs that have a main function
#![no_main]