krr / IDP / issues / #697 - cpsupport=true creating extra (invalid?) models — Bitbucket

Issue #697 resolved

Joachim Jansen created an issue 2014-03-05

Attached is a file where "normal" mx results in 1 model. Uncommenting the option stdoptions.cpsupport=true leads to mx resulting in 3 models.

cpbug.idp

Comments (2)

Broes De Cat
- assigned issue to
  
  Broes De Cat
- marked as minor
- 2014-03-06T09:35:53+00:00
Broes De Cat
- changed status to resolved
Fixes ~~#697~~: Bugfix in functerm grounding.

→ <<cset 710686b5f46c>>
- 2014-03-06T09:36:55+00:00
Log in to comment

Assignee: Broes De Cat

Type: bug

Priority: minor

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 1

Jira: the preferred issue tracker for Bitbucket. Join the team!