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

[GoogleCodeExporter]

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:

• mln_ie_er.zip

[GoogleCodeExporter]

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