Added option for developer use only

diff --git a/src/theory/arrays/options b/src/theory/arrays/options
index baf0962bfb9b4e02381ab5fb2695f427746b0c39..7d5e673507c6aebece96b992655d5f2724558299 100644 (file)
--- a/src/theory/arrays/options
+++ b/src/theory/arrays/options
@@ -20,4 +20,7 @@ option arraysEagerIndexSplitting --arrays-eager-index bool :default true :read-w
 option arraysEagerLemmas --arrays-eager-lemmas bool :default false :read-write
  turn on eager lemma generation for arrays
 
+option arraysConfig --arrays-config int :default 0 :read-write
+ set different array option configurations - for developers only
+
 endmodule