krr / IDP / issues / #458 - Partial interpretation for total function is not checked explicitly — Bitbucket

Issue #458 resolved

Broes De Cat created an issue 2013-07-10

For modelexpansion, only if the function occurs in the theory.

Comments (2)

Bart Bogaerts
Issue ~~#477~~ was marked as a duplicate of this issue.
- 2013-07-18T16:02:08+00:00
Broes De Cat reporter
- changed status to resolved
Fixes ~~#458~~: consistency checks on interpretations during parsing.

Also added tests and fixed existing ones.

→ <<cset 5bb72e1564db>>
- 2013-07-23T20:05:13+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 0

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