#z3/build-2020-02-17-41ab578/z3 bug.smt2
[1]    52123 segmentation fault  z3/build-2020-02-17-41ab578/z3 bug.smt2
#cat bug.smt2 
(assert (forall ((a Real)) (exists ((b Real) (c Real)) (<= (+ a c) 0.0 c 0.0))))
(check-sat-using bv)