Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index 5a44b609aa10ad0fd7247cee862206f7815f7c73..06944a10f2dd143a5d2a8ad7fa35b5944ff78cad 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -700,6 +700,8 @@ DEFINE_BOOL(trace_detached_contexts, false, |
DEFINE_IMPLICATION(trace_detached_contexts, track_detached_contexts) |
#ifdef VERIFY_HEAP |
DEFINE_BOOL(verify_heap, false, "verify heap pointers before and after GC") |
+DEFINE_BOOL(verify_heap_skip_remembered_set, false, |
+ "disable remembered set verification") |
#endif |
DEFINE_BOOL(move_object_start, true, "enable moving of object starts") |
DEFINE_BOOL(memory_reducer, true, "use memory reducer") |