From: Clark Barrett <barrett@cs.nyu.edu>
Date: Thu, 2 Oct 2014 20:27:43 +0000 (-0700)
Subject: Added option for developer use only
X-Git-Tag: cvc5-1.0.0~6606
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b3c760042dc743bea1620662aed5310121fc4bd0;p=cvc5.git

Added option for developer use only
---

diff --git a/src/theory/arrays/options b/src/theory/arrays/options
index baf0962bf..7d5e67350 100644
--- 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