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/theory/arrays | |
| parent | 4c32421fee453d82e6c1d7d3dc1605da11db1a09 (diff) | |
Added option for developer use only
Diffstat (limited to 'src/theory/arrays')
| -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 |