diff options
Diffstat (limited to 'NEWS')
-rw-r--r-- | NEWS | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -20,6 +20,8 @@ Changes since 1.2 zero means no error---but the result could be sat, unsat, or unknown---and nonzero means error. * bv2nat/int2bv functionality +* User-defined symbols (define-funs) are no longer reported in the output + of get-model commands. Changes since 1.1 ================= |