search

codeaudit / alchemy-2

Automatically exported from code.google.com/p/alchemy-2
0 stars 0 forks source link

Assertion `constIdx >= 0' failed in database.h:1358 #14

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
What steps will reproduce the problem?
1. I'm running following commands:

$(ALCHEMY_BASE)/bin/learnwts -g -i pre-train.mln -o train-gen.mln -t train.db 
-ne Outcome
$(ALCHEMY_BASE)/bin/learnwts -d -i ore-train.mln -o train-disc.mln -t train.db 
-ne Outcome

With any of the above commands, I get following error and program simply 
terminates with empty output file:

learnwts: ../src/logic/database.h:1358: long long unsigned int 
Database::getIdxOfGndPredValues(const Predicate* const&, const 
Array<Array<std::pair<long long unsigned int, unsigned int> >*>&) const: 
Assertion `constIdx >= 0' failed.

I'm using Ubuntu 14.04.

Original issue reported on code.google.com by girish.i...@gmail.com on 12 Jun 2015 at 8:49