Incorrect wellfoundedness check

[Broes De Cat]

The following definition does NOT have any wellfounded models, but the solver disagrees.

{{{ p ecnf C <- 1 1 4 0 D <- 1 2 -1 0 D <- 1 4 -2 0 C <- 1 6 4 0 }}}

[Bart Bogaerts]

The file tests/definitiontests/unwellfoundedbutstable.idp fails when calculating the definition. It finds a stable model and stops searching i guess.

[Bart Bogaerts]

Misschien heb ik die commit gewoon kapot gemaakt, want mijn versie van de solver is die van 15 december...

[Bart Bogaerts]

fixing my mistake, fixes issue 66

→ d20cafeeae20

[Broes De Cat]

fixing my mistake, fixes issue 66

→ d20cafeeae20

[Broes De Cat]

Removing milestone: First Release 25/12/2011 (automated comment)