diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-17 09:54:15 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-17 09:54:15 -0400 |
commit | 3afbf810287fb3f1a99ef907f91f5e93c3b93226 (patch) | |
tree | 7272a8579e1dd49c18591b1edef64c9c8fad5609 /library_versions | |
parent | 36dd801660bad8fe1d967c887363f15dbe1bcc63 (diff) |
Better error on illegal (pop N); also more compliant SMT-LIB error messages in some places
Thanks to David Cok for reporting these issues.
Diffstat (limited to 'library_versions')
0 files changed, 0 insertions, 0 deletions