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

Autocompletion and verification of function constraints still too slow

Issue #801 new
Bart Bogaerts created an issue

can be witnessed by the test /home/bartb/software/idp/tests/mx/satmx/large_known_func.idp

which takes more time to autocomplete than we allow the entire inference engine to run...

Comments (5)

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