krr / IDP / issues / #830 - Function verification checks input WAAY to often — Bitbucket

Issue #830 resolved

Bart Bogaerts created an issue 2014-10-15

see file: verification of function constraints checks 158 times what the value of a function term is!

test.idp

Comments (3)

Bart Bogaerts reporter
Related bug: assumeconsistentinput is not used consistent
- 2014-10-15T14:07:52+00:00
Joachim Jansen
Make a new issue for the related bug?
- 2014-11-20T12:12:48+00:00
Joachim Jansen
- changed status to resolved
Merged in function_enumeration (pull request #315)

Fixes ~~#830~~

→ <<cset ac9902b704dd>>
- 2014-11-20T12:27:11+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 2

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