search

hexhex / core

DLVHEX solver: core system and plugin API
http://www.kr.tuwien.ac.at/research/systems/dlvhex/
GNU Lesser General Public License v2.1
24 stars 8 forks source link

external atom arity check should give meaningful error message #5

Open peschue opened 11 years ago

peschue commented 11 years ago

If a program has an external atom which provides fewer arguments than the plugin requires, the following message appears, without a hint which atom is to blame:

dlvhex2: ../../src/DependencyGraph.cpp:254: void dlvhex::DependencyGraph::createNodesAndIntraRuleDependenciesForBody(dlvhex::ID, dlvhex::ID, const Tuple &, Node, dlvhex::DependencyGraph::HeadBodyHelper &, std::vector &, bool): Assertion `pluginAtom->checkInputArity(eatom.inputs.size())' failed.