diff options
| author | lianah <lianahady@gmail.com> | 2013-05-07 17:21:58 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2013-05-07 17:21:58 -0400 |
| commit | b702a70790f37e239c6f8c91bbc0ac107f1a4618 (patch) | |
| tree | 2e9cd845556faa0e9a16561435b7c1a7da8ebb0a /src/theory/theory_engine.h | |
| parent | 778004b0fe366f6ecfb53a594bd5be335a2dc4b7 (diff) | |
added type checking rule to check for bit-vector constants of size 0
Diffstat (limited to 'src/theory/theory_engine.h')
0 files changed, 0 insertions, 0 deletions