Lazy grounding assert fail

Debug tests fail because of error

Error: ASSERT FAILED: hastruedelay or hasfalsedelay @ /home/bartb/software/idp/src/inferences/grounding/LazyGroundingManager.cpp (920)

E.g.,

Failed: ModelExpansion/MXTotalnbTest.DoesMXWithTseitinAndSatDelaying/220
Testing /home/bartb/software/idp/tests/mx/outputvoc_large/doubleimplicationconstant.idp
stack trace:
  /cw/dtailocal/bartb/builds/idp/debug/src/libidp.so : AssertionException::AssertionException(std::string)+0x58
  /cw/dtailocal/bartb/builds/idp/debug/src/libidp.so : LazyGroundingManager::extendStructure(Structure*) const+0x74a
  /cw/dtailocal/bartb/builds/idp/debug/src/libidp.so : handleSolution(Structure const*, MinisatID::Model const&, AbstractGroundTheory*, StructureExtender*, Vocabulary*, std::__debug::vector<Definition*, std::allocator<Definition*> > const&)+0x103
  /cw/dtailocal/bartb/builds/idp/debug/src/libidp.so : ModelExpansion::expand() const+0x1c2d
  /cw/dtailocal/bartb/builds/idp/debug/src/libidp.so : ModelExpansion::doModelExpansion(AbstractTheory*, Structure*, Vocabulary*, TraceMonitor*, MXAssumptions const&)+0x6e
  /cw/dtailocal/bartb/builds/idp/debug/src/libidp.so : executeMXCommand(AbstractTheory*, Structure*, Vocabulary*)+0xe2
  /cw/dtailocal/bartb/builds/idp/debug/src/libidp.so : ModelExpandWithOutputVocInference::execute(std::__debug::vector<InternalArgument, std::allocator<InternalArgument> > const&) const+0x6b
  /cw/dtailocal/bartb/builds/idp/debug/src/libidp.so : LuaConnection::InternalProcedure::operator()(lua_State*) const+0x11a
  /cw/dtailocal/bartb/builds/idp/debug/src/libidp.so : LuaConnection::internalCall(lua_State*)+0x64a
  /cw/dtailocal/bartb/builds/idp/debug/lib/lua/src/liblua.so.5 : ()+0x13f7f
  /cw/dtailocal/bartb/builds/idp/debug/lib/lua/src/liblua.so.5 : ()+0x2b77a
  /cw/dtailocal/bartb/builds/idp/debug/lib/lua/src/liblua.so.5 : ()+0x14251
  /cw/dtailocal/bartb/builds/idp/debug/lib/lua/src/liblua.so.5 : ()+0x96b2
  /cw/dtailocal/bartb/builds/idp/debug/lib/lua/src/liblua.so.5 : ()+0x1318e
  /cw/dtailocal/bartb/builds/idp/debug/lib/lua/src/liblua.so.5 : ()+0x1467d
  /cw/dtailocal/bartb/builds/idp/debug/lib/lua/src/liblua.so.5 : lua_pcall(lua_State*, int, int, int)+0xa8
  /cw/dtailocal/bartb/builds/idp/debug/src/libidp.so : LuaConnection::execute(std::string const&)+0x57
  /cw/dtailocal/bartb/builds/idp/debug/src/libidp.so : Insert::exec(std::string const&)+0x18
  /cw/dtailocal/bartb/builds/idp/debug/src/libidp.so : handleAndRun(void*)+0x29
  /cw/dtailocal/bartb/builds/idp/debug/lib/tinythread/source/libtinythread.so : tthread::thread::wrapper_function(void*)+0x29
  /lib/x86_64-linux-gnu/libpthread.so.0 : ()+0x7e9a
  /lib/x86_64-linux-gnu/libc.so.6 : clone()+0x6d
Error: ASSERT FAILED: hastruedelay or hasfalsedelay @ /home/bartb/software/idp/src/inferences/grounding/LazyGroundingManager.cpp (920)
/home/bartb/software/idp/tests/TestUtils.cpp:30: Failure
Value of: result
  Actual: failed
Expected: Status::SUCCESS
Which is: success

Comments (0)