Model iterator terribly fails with cp on

[Bart Bogaerts]

Often finds not enough models. It probably does something wrong in model invalidation for function symbols.

To reproduce this behavior, simply run modeliterator tests with option cpsupport = true

(29 fails I believe)

[Bart Bogaerts]

TODO test model iterator also with other configurations, not only with CP, but with, e.g., lazy grounding, cpgroundatoms, ...

[Ruben Lapauw]

Not reproducible...

Did you change to:

procedure standardoptions(){
    stdoptions.cpsupport=true
}

[Ruben Lapauw]

Found branch...

[Bart Bogaerts]

zet gewoon cpsupport bovenaan in uw test op true... En het gaat mis.

(mijn branch daarop gaat het niet falen uiteraard want ik heb de tests daarin gefixed om hun oud gedrag te blijven vertonen)

[Bart Bogaerts]

Exposed issue #896 for @rupsbant. See #896

→ <<cset 6f0c13524fd9>>

[Ruben Lapauw]

Bug not in modelIterator. See branch BugMXIterator/MXOutputVoc. Also fails territbly when a trivial output vocabulary is given!

Fails with exactly 56 = 2*28 testcases for CP. (It checks every file twice)

See issue #897

[Bart Bogaerts]

Seems to be related to issue #640 in that case.

[Ingmar Dasseville]

opgelost door pull request 371