krr / IDP / issues / #189 - @b domainterms — Bitbucket

Issue #189 wontfix

Bart Bogaerts created an issue 2012-06-21

In the following file: I get an assertionexception when trying to use @b for the domainterm b.

Error: Exception caught: AssertionException: ASSERT FAILED: _sort!=NULL @ /home/bartb/software/idp/src/theory/term.cpp (197)

domtermserror.idp

Comments (4)

Bart Bogaerts reporter
disabled the use of @ since this is unsafe, see ~~#189~~

→ d3ee536a340f
- 2012-06-21T09:59:00+00:00
Bart Bogaerts reporter
- changed milestone to Later
Disabled this.

When we allow pieces of structure in the theory, as discussed before, we can re-allow this. But only for domainterms that are declared before.
- 2012-06-21T10:00:28+00:00
Broes De Cat
- removed milestone
Removing milestone: Later (automated comment)
- 2013-01-30T09:39:13+00:00
Broes De Cat
- changed status to wontfix
Resolved, behaviour has been disabled.
- 2013-01-30T09:43:12+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: wontfix

Component: –

Version: –

Votes: 0

Watchers: 1

Jira: the preferred issue tracker for Bitbucket. Join the team!