diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2014-10-02 13:27:43 -0700 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2014-10-02 13:28:22 -0700 |
commit | b3c760042dc743bea1620662aed5310121fc4bd0 (patch) | |
tree | ff08a459a5cb986cb6d0268bfdd49996a7844acf /src | |
parent | 4c32421fee453d82e6c1d7d3dc1605da11db1a09 (diff) |
Added option for developer use only
Diffstat (limited to 'src')
-rw-r--r-- | src/theory/arrays/options | 3 |
1 files changed, 3 insertions, 0 deletions
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 |