diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-09-26 08:30:40 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-09-26 08:30:40 -0400 |
commit | 6eddd9d5206ac65bee665dc6acf629d42bc95036 (patch) | |
tree | f83b84c5b35c045ad9469f2a5031c71cd7a16759 /src/theory/bv | |
parent | 42deb51e8606005d9092c171f725f84c890b747f (diff) | |
parent | 6f3d14f84e067d26e16e1a7c151ce06c38b6332b (diff) |
Merge branch '1.4.x'
Diffstat (limited to 'src/theory/bv')
-rw-r--r-- | src/theory/bv/options | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/bv/options b/src/theory/bv/options index 81d88421b..a9c3b0f08 100644 --- a/src/theory/bv/options +++ b/src/theory/bv/options @@ -15,7 +15,7 @@ option bitblastMode bitblast --bitblast=MODE CVC4::theory::bv::BitblastMode :han option bitvectorAig --bitblast-aig bool :default false :predicate CVC4::theory::bv::abcEnabledBuild :predicate-include "theory/bv/options_handlers.h" :read-write :link --bitblast=eager :link --bv-aig-simp="balance;drw" bitblast by first converting to AIG (only if --bitblast=eager) -expert-option bitvectorAigSimplifications --bv-aig-simp=FILE std::string :default "" :predicate CVC4::theory::bv::abcEnabledBuild :read-write :link --bitblast-aig +expert-option bitvectorAigSimplifications --bv-aig-simp=COMMAND std::string :default "" :predicate CVC4::theory::bv::abcEnabledBuild :read-write :link --bitblast-aig abc command to run AIG simplifications # Options for lazy bit-blasting |