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

Aggform not handled in unnestthreevalued

Issue #213 resolved
Broes De Cat created an issue

An aggform of which the right hand side is not cp-able is incorrectly not unnested, causing the termgrounder to crash. See an example in test exponentialfactorisation.idp

Comments (1)

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