You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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 [email protected] on 12 Jun 2015 at 8:49
The text was updated successfully, but these errors were encountered:
Original issue reported on code.google.com by
[email protected]
on 12 Jun 2015 at 8:49The text was updated successfully, but these errors were encountered: