From 6a86536bd25fc7ffa305f25990cf37b8c6566c52 Mon Sep 17 00:00:00 2001
From: lianah <lianahady@gmail.com>
Date: Fri, 12 Apr 2013 16:15:30 -0400
Subject: finished implementing bv to bool lifting and added --bv-to-bool
 option

---
 src/theory/bv/options | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/theory/bv/options')

diff --git a/src/theory/bv/options b/src/theory/bv/options
index 2e53b029c..7b87baa21 100644
--- a/src/theory/bv/options
+++ b/src/theory/bv/options
@@ -19,5 +19,8 @@ option bitvectorInequalitySolver --bv-inequality-solver bool :default true
 
 option bitvectorCoreSolver --bv-core-solver bool
  turn on the core solver for the bit-vector theory 
+
+option bvToBool --bv-to-bool bool
+ lift bit-vectors of size 1 to booleans when possible
  
 endmodule
-- 
cgit v1.2.3