Mem: bump offset to 64 bits to avoi spurious counterexamples
MODIFY
ir/memory.h
ir/memory.h
@@ -77,7 +77,7 @@ class Memory {
State *state;
// FIXME: these should be tuned per function
- unsigned bits_for_offset = 32;
+ unsigned bits_for_offset = 64;
unsigned bits_for_local_bid = 8;
unsigned bits_for_nonlocal_bid = 8;
unsigned bits_size_t = 64;

Mem: bump offset to 64 bits to avoi spurious counterexamples