tests/genmc/fail/simple/alloc_large.single.stderr

Running GenMC Verification...
error: resource exhaustion: there are no more free addresses in the address space
  --> RUSTLIB/alloc/src/raw_vec/mod.rs:LL:CC
   |
LL |             AllocInit::Uninitialized => alloc.allocate(layout),
   |                                         ^^^^^^^^^^^^^^^^^^^^^^ resource exhaustion occurred here
   |
   = help: in GenMC mode, the address space is limited to 4GB per thread, and addresses cannot be reused
   = note: stack backtrace:
           0: alloc::raw_vec::RawVecInner::try_allocate_in
               at RUSTLIB/alloc/src/raw_vec/mod.rs:LL:CC
           1: alloc::raw_vec::RawVecInner::with_capacity_in
               at RUSTLIB/alloc/src/raw_vec/mod.rs:LL:CC
           2: alloc::raw_vec::RawVec::with_capacity_in
               at RUSTLIB/alloc/src/raw_vec/mod.rs:LL:CC
           3: std::vec::Vec::with_capacity_in
               at RUSTLIB/alloc/src/vec/mod.rs:LL:CC
           4: std::vec::Vec::with_capacity
               at RUSTLIB/alloc/src/vec/mod.rs:LL:CC
           5: miri_start
               at tests/genmc/fail/simple/alloc_large.rs:LL:CC

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

note: add `-Zmiri-genmc-print-genmc-output` to MIRIFLAGS to see the detailed GenMC error report

error: aborting due to 1 previous error