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

DeriveTermBounds should cleanly handle all functions

Issue #115 resolved
Broes De Cat created an issue

Currently, if some function is not handled, it's properties are set to NULL, possible leading to crashes later.

Comments (3)

  1. Broes De Cat reporter

    Refs #164 #90, fixes #163 fixes #115

    Printers also use checkTermination. Derivetermbounds throws an internal exception whenever no bounds could be derived. Several types should still be handled. Symmetrybreaking throws a warning when multiple models are requested. Symmetrybreaking + optimization now throws.

    → 7a018a91f28d

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