Unsatcore extraction bug

[Pieter Van Hertum]

When running inclosed file (the testsuite), the system gives a segfault in relaesemode and an assertion fails in debug mode.

Error: ASSERT FAILED: offset.offset!=-1 @ /home/pietervh/local/Development/idpmaster/idp/src/inferences/grounding/GroundTranslator.hpp (214)

stack trace: /home/pietervh/local/Development/idpmaster/debuginstall/lib/libidp.so : AssertionException::AssertionException(std::string)+0x58 /home/pietervh/local/Development/idpmaster/debuginstall/lib/libidp.so : GroundTranslator::getIntroducedLiteralsFor(PFSymbol) const+0x10b /home/pietervh/local/Development/idpmaster/debuginstall/lib/libidp.so : ModelExpansion::expand() const+0x507 /home/pietervh/local/Development/idpmaster/debuginstall/lib/libidp.so : ModelExpansion::doModelExpansion(AbstractTheory, Structure, Vocabulary, TraceMonitor, MXAssumptions const&)+0x6e /home/pietervh/local/Development/idpmaster/debuginstall/lib/libidp.so : UnsatCoreExtraction::extractCore(AbstractTheory, Structure*)+0x2b8 /home/pietervh/local/Development/idpmaster/debuginstall/lib/libidp.so : UnsatCoreInference::execute(std::__debug::vector<InternalArgument, std::allocator<InternalArgument> > const&) const+0x76

[Broes De Cat]

Refs #737: Translator did not check symbol existence of markers.

→ <<cset 0c9eecd2867f>>

[Broes De Cat]

Merged in fix_unsatcore (pull request #249)

Refs #737: Translator did not check symbol existence of markers.

→ <<cset d8618fb5b5af>>

[Ingmar Dasseville]

Refs #737: Translator did not check symbol existence of markers.

→ <<cset fd7a3e59e24e>>