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

segmentation fault in CoreSMTSolver::pickBranchLit #252

Closed soonhokong closed 8 years ago

soonhokong commented 8 years ago

It's from https://github.com/dreal/dreal3/blob/master/src/opensmt/smtsolvers/CoreSMTSolver.C#L712-L715

soonhokong commented 8 years ago

@zenna, this is why Travis-CI is failing now: https://api.travis-ci.org/jobs/136129836/log.txt?deansi=true (at the very end). I'll fix this one soon.

soonhokong commented 8 years ago

It turns out that this is a duplicate of https://github.com/dreal/DReal.jl/issues/10.