Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Open
GoogleCodeExporter opened this issue Jul 23, 2015 · 0 comments
Open

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

GoogleCodeExporter opened this issue Jul 23, 2015 · 0 comments

Comments

@GoogleCodeExporter
Copy link

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant