Symex: enable array cell sensitivity

smowton · romainbrenguier · commit 1f334015c24a · 2019-08-21T09:40:14.000+01:00
diff --git a/src/goto-symex/field_sensitivity.cpp b/src/goto-symex/field_sensitivity.cpp
@@ -16,7 +16,7 @@ Author: Michael Tautschnig
 #include "goto_symex_state.h"
 #include "symex_target.h"
 
-// #define ENABLE_ARRAY_FIELD_SENSITIVITY
+#define ENABLE_ARRAY_FIELD_SENSITIVITY
 
 exprt field_sensitivityt::apply(
   const namespacet &ns,
