FuzzSMT 0.2
7 views
Skip to first unread message
Robert Brummayer
Aug 19, 2009, 2:16:31 AM8/19/09
to SMT Tools
FuzzSMT 0.2 is available. I fixed a bug in QF_RDL where the fuzzer
created atoms that are actually no more in QF_RDL, e.g. (> (- (+ x x)
(+ y y y)) 3). The number of occurrences of x and the number of
occurrences of y within + have to be equal, e.g. (> (- (+ x x) (+ y
y)) 3) is a syntactically valid atom.
created atoms that are actually no more in QF_RDL, e.g. (> (- (+ x x)
(+ y y y)) 3). The number of occurrences of x and the number of
occurrences of y within + have to be equal, e.g. (> (- (+ x x) (+ y
y)) 3) is a syntactically valid atom.
Reply all
Reply to author
Forward
0 new messages