search

abenkhadra / gosat

SMT solver for the theory of floating-point arithmetic
MIT License
25 stars 8 forks source link

Crash on simple example #2

Closed delcypher closed 6 years ago

delcypher commented 6 years ago

goSAT crashes on this simple example

(declare-const x Float32)(assert (and (fp.isNaN x) (not (fp.isNaN x))))
abenkhadra commented 6 years ago

Fixed. gosat now supports (to some extent) isNaN