Sign in
rust
/
rust
/
HEAD
/
.
/
src
/
tools
/
miri
/
tests
/
genmc
/
pass
/
std
/
empty_main.rs
blob: 2ffc3388fb36c3e19eb56b17973e34bfacfcadcd [
file
] [
log
] [
blame
]
//@compile-flags: -Zmiri-genmc -Zmiri-disable-stacked-borrows
// A lot of code runs before main, which we should be able to handle in GenMC mode.
fn
main
()
{}