search

dreal / dreal3

There is a new version of dReal, available at https://github.com/dreal/dreal4
GNU General Public License v3.0
48 stars 36 forks source link

CAPD throw IntervalError with an empty exception string #195

Closed soonhokong closed 9 years ago

soonhokong commented 9 years ago

It's because IntervalError::what() returns c_str of its local ostringstream str: https://github.com/dreal-deps/capdDynSys-4.0/blob/master/capdAlg/include/capd/intervals/IntervalError.h#L51-L57

I'll send a patch to the upstream.

soonhokong commented 9 years ago

Closed by https://github.com/dreal-deps/capdDynSys-4.0/commit/d28b9e2693ff30ee9a338d467ef902c7482e5a3e