search

aikn / alchemy-2

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

Assertion `typeId == vgt->typeId' failed. #2

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
What steps will reproduce the problem?

I am getting: "infer: ../src/logic/clause.h:1186: static void 
Clause::addVarId(Term* const&, const int&, const Domain* const&, 
Array<VarsGroundedType*>*&): Assertion `typeId == vgt->typeId' failed."

when running:

"infer -e dict.db,veljaci.db -i solve.mln -r solve_out.mln -q samePerson"

on attached mlns, and dbs.

What is the expected output? What do you see instead?

What version of the product are you using? On what operating system?

Centos 6, Latest release ( Jan 25, 2013)

Please provide any additional information below.

Original issue reported on code.google.com by da...@lauc.org on 18 Mar 2013 at 4:25

Attachments:

GoogleCodeExporter commented 8 years ago 
The attached zip file #includes features2.mln which is not part of the archive. 
The similarly named features.mln has syntax errors.

Original comment by earthwi...@gentoo.org on 29 Sep 2013 at 7:55