diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-17 08:59:25 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-20 16:54:27 -0400 |
| commit | 1edf48b7b2377603f066335a2d8d087cd803a152 (patch) | |
| tree | a18085b7ef0ac6e4c9bcdc37442521c71162147e /src/expr | |
| parent | 3a34a4827c4188db9bd0274b34d4188aee00fff2 (diff) | |
Disallow construction of (_ BitVec 0).
Thanks to David Cok for reporting this issue.
Diffstat (limited to 'src/expr')
0 files changed, 0 insertions, 0 deletions