this.write_scalar(this.machine.argv.expect("machine must be initialized"), dest)?;
}
- "SecRandomCopyBytes" => {
- let len = this.read_scalar(args[1])?.to_machine_usize(this)?;
- let ptr = this.read_scalar(args[2])?.not_undef()?;
- this.gen_random(ptr, len)?;
- this.write_null(dest)?;
- }
-
_ => throw_unsup_format!("can't call foreign function: {}", link_name),
};
-// macOS needs FS access for its HashMap:
-// compile-flags: -Zmiri-disable-isolation
-
use std::collections::HashMap;
use std::hash::BuildHasher;
-fn test_map<S: BuildHasher>(mut map: HashMap<i32, i32, S>) {
+fn smoketest_map<S: BuildHasher>(mut map: HashMap<i32, i32, S>) {
map.insert(0, 0);
assert_eq!(map.values().fold(0, |x, y| x+y), 0);
map.insert(i, num-1-i);
}
assert_eq!(map.values().fold(0, |x, y| x+y), num*(num-1)/2);
-
- // TODO: Test Entry API, Iterators, ...
}
fn main() {
- test_map(HashMap::new());
+ // hashbrown uses Miri on its own CI; we just do a smoketest here.
+ smoketest_map(HashMap::new());
}