diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-14 15:21:24 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-14 15:52:43 -0400 |
commit | 52514303081e78c98e504980a50b76a04f4b8762 (patch) | |
tree | ff913f6d81048da5f02031f8ed43f5e9ab613a79 /test/regress/regress0/ite5.smt2 | |
parent | f0407e1c718050daf021c937708d779bdcc3b191 (diff) |
SMT-LIB compliance: allow bin/hex set-info, e.g. (set-info :key #xffff). Thanks to David Cok for the bug report.
Diffstat (limited to 'test/regress/regress0/ite5.smt2')
0 files changed, 0 insertions, 0 deletions