1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Missing consistency check for functions

Issue #477 duplicate
Bart Bogaerts created an issue

See attached file:

mx returns the original structure as a solution, even though the interpretation of f is not correct (there cannot exist a function T->T2)

Comments (1)

  2. Log in to comment
Assignee
–
Type
bug
Priority
major
Status
duplicate
Component
–
Version
–
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!