partial forward continuation segfault

Op cal, in de folder:
/export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/Benchie/idp_speedtest
run:
$ /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/bin/idp idp.idp idp.idp.struc

Error:

Partial Forward Continuation...
... suspend_on_forign_function/3
... call/1
... c_callloop_query_loop/1
... c_callloop/0
... ll_code_call/3
... call/1
... catch/3

Backtrace in debug mode:

Program received signal SIGSEGV, Segmentation fault.
[Switching to Thread 0x7ffff4e5e700 (LWP 4983)]
0x00007ffff7317208 in XSBToIDPTranslator::to_prolog_term(std::string) ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
(gdb) bt
#0  0x00007ffff7317208 in XSBToIDPTranslator::to_prolog_term(std::string) ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#1  0x00007ffff73179b5 in XSBToIDPTranslator::to_prolog_term(PFSymbol const*) ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#2  0x00007ffff732dc01 in FormulaClauseBuilder::visit(Rule const*) ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#3  0x00007ffff732fcd4 in FormulaClauseBuilder::visit(Definition const*) ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#4  0x00007ffff7320c44 in PrologProgram::setDefinition(Definition*) ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#5  0x00007ffff73098a0 in XSBInterface::load(Definition const*, Structure*) ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#6  0x00007ffff72e6bc4 in CalculateDefinitions::calculateDefinition(Definition const*, Structure*, bool, bool&, std::set<PFSymbol*, std::less<PFSymbol*>, std::allocator<PFSymbol*> >) const ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#7  0x00007ffff72e8116 in CalculateDefinitions::calculateKnownDefinitions(Theory*, Structure*, bool, std::set<PFSymbol*, std::less<PFSymbol*>, std::allocator<PFSymbol*> >) const ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#8  0x00007ffff72a2276 in GroundingInference<MinisatID::Space>::ground() ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#9  0x00007ffff72a32bb in GroundingInference<MinisatID::Space>::createGroundingAndExtender(AbstractTheory*, Structure*, Vocabulary*, Term*, TraceMonitor*, bool, MinisatID::Space*) ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#10 0x00007ffff729f15d in ModelExpansion::expand() const ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#11 0x00007ffff72a161e in ModelExpansion::doModelExpansion(AbstractTheory*, Structure*, Vocabulary*, TraceMonitor*, MXAssumptions const&) ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#12 0x00007ffff7441502 in SplitDefinitions::split(Structure*, UniqueNames<Rule*>&) ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#13 0x00007ffff7442022 in SplitDefinitions::execute(Theory*) ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#14 0x00007ffff7402fe8 in void transform<SplitDefinitions, Theory>(Theory*) ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#15 0x00007ffff7417296 in bool transform<CheckApproxContainsRecDefAggTerms, bool, Definition const>(Definition const*) ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#16 0x00007ffff73ff290 in DefinitionUtils::approxTotal(Definition*) ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#17 0x00007ffff72a38d9 in simplifyTheoryForPostProcessableDefinitions(Theory*, Term*, Structure*, Vocabulary*, Vocabulary*) ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#18 0x00007ffff729f053 in ModelExpansion::expand() const ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#19 0x00007ffff72a161e in ModelExpansion::doModelExpansion(AbstractTheory*, Structure*, Vocabulary*, TraceMonitor*, MXAssumptions const&) ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#20 0x00007ffff7394160 in executeMXCommand(AbstractTheory*, Structure*, Vocabulary*) ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#21 0x00007ffff73aeb9c in ModelExpandInference::execute(std::vector<InternalArgument, std::allocator<InternalArgument> > const&) const ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so
#22 0x00007ffff7478ac6 in LuaConnection::InternalProcedure::operator()(lua_State*) const ()
   from /export/home1/NoCsBack/dtai/jodv/buildbot-slave/speedtests/install/lib/libidp.so

Comments (5)