[Scip] Assertion `var->scip == set->scip' failed.

[michael.winkler at zib.de]

Hi Leonardo,

> Hi all,
>
> I've been getting an error in my C++ implementation of the
> SCIP_DECL_CONSLOCK method for a constraint handler. Compiling with
> OPT=dbg,
> I get this failed assertion.
>
> src/scip/var.c:2985: SCIPvarAddLocks: Assertion `var->scip == set->scip'
> failed.
>

Such an assert comes up if some variable was created in SCIP instance A
and added to another SCIP instance B (or the memory got totally corrupted
in eithe the SCIP_VAR or the SCIP_SET struct.) Please check your created
variables are added to the correct constraints.

Best, Michael

> This is with SCIP 3.0.1.
> I guess I'm doing something wrong. What is puzzling me is that only get
> this error in a minority of my problem instances. In most cases,
> everything
> seems to work fine.
>
> Thanks,
> Leonardo
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> http://listserv.zib.de/mailman/listinfo/scip
>