search

yav / simple-smt

BSD 3-Clause "New" or "Revised" License
20 stars 20 forks source link

addMany should have special case for one argument #18

Open jwaldmann opened 2 years ago

jwaldmann commented 2 years ago

With cvc5, I get this

[send->] (assert (<= (- 1.0) (+ (* (- 1.0) x0))))
[<-recv] (error "Parse Error: <stdin>:85.38: Invalid kind 'ADD', expected Terms with kind ADD must have at least 2 children and at most 67108863 children (the one under construction has 1) ")