mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

comment on STACK_ADDR

Browse Source
This commit is contained in:
Ralf Jung 2019-06-29 13:37:38 +02:00
parent 0fac868685
commit c7bf9064f7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib.rs
View File

@ -42,7 +42,7 @@ pub use crate::eval::{eval_main, create_ecx, MiriConfig};
// Some global facts about the emulated machine.
pub const PAGE_SIZE: u64 = 4*1024;
pub const STACK_ADDR: u64 = 16*PAGE_SIZE;
pub const STACK_ADDR: u64 = 16*PAGE_SIZE; // not really about the "stack", but where we start assigning integer addresses to allocations
pub const NUM_CPUS: u64 = 1;
/// Insert rustc arguments at the beginning of the argument list that Miri wants to be