Constant test_generation::config::ALLOW_MEMORY_UNSAFE

pub const ALLOW_MEMORY_UNSAFE: bool = false;

Whether generation of instructions that require borrow checking will be allowed. (Note that if NEGATE_PRECONDITIONS is true then these instructions can still come up). Default is false