Disallow construction of (_ BitVec 0).
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 17 May 2013 12:59:25 +0000 (08:59 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 17 May 2013 12:59:25 +0000 (08:59 -0400)
commit067f3f556a84c1af54d4ef2188d1b145d02b26e3
tree3839c3a84f865dcd84d1104a04acf3a10b8433cf
parent5ad796d0ddaa9c6f2ad98d2680babb7776a5f9b0
Disallow construction of (_ BitVec 0).

Thanks to David Cok for reporting this issue.
src/parser/cvc/Cvc.g
src/parser/smt2/Smt2.g