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

Function totality check when xsb is on

Issue #507 resolved
Bart Bogaerts created an issue

There is no check for totality of functions yet (if xsb is true)

See file

Comments (1)

  2. 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!