Approxdefs crashes

[Bart Bogaerts]

Testframework is nog altijd niet 100% consistent: approxdefs binary segfault tijdens run via "make check" maar niet wanneer je hem apart runt.

Waarschijnlijk is dit dus een memoryissue. Lastig te reproduceren, en ook valgrind is geen grote hulp hier...

zie ook https://bitbucket.org/krr/idp/pull-request/274/consistent-test-framework/diff

[Joachim Jansen]

Heb je output van wat er gebeurt voor de segault? Ik probeer hier eens na te kijken. Voorlopig idee is: voeg tijdelijk valgrind toe aan de workflow van make check en kijk of het nog crasht.

[Joachim Jansen]

Voorlopige hotfix: gooi de approxdefs uit het testframework, wordt toch nooit echt gebruikt. Bug blijft bestaan en zou onderzocht moeten worden (initieel diagnose-idee: verwijder alle andere testsets en run dan het testframework + valgrind)