krr / IDP / issues / #94 - Segfault in modelexpand — Bitbucket

Issue #94 wontfix

Broes De Cat created an issue 2012-01-23

modelexpand(ground(T, S), S) crashes

Comments (6)

Broes De Cat reporter
See ~~#94~~: Resolved the crash with a clean error message. Should still implement it for ground theories, but main issue is how to handle the structure then.

→ 5fdb4b0e3ea4
- 2012-04-26T11:54:24+00:00
Broes De Cat reporter
- changed milestone to Later
- 2012-05-18T10:16:58+00:00
Broes De Cat reporter
- changed status to wontfix
- 2012-07-30T09:11:29+00:00
Broes De Cat reporter
- changed status to resolved
- 2012-07-30T09:11:38+00:00
Broes De Cat reporter
- changed status to wontfix
- 2012-07-30T09:11:42+00:00
Broes De Cat reporter
- removed milestone
Removing milestone: Later (automated comment)
- 2013-01-30T09:39:10+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: wontfix

Component: –

Version: –

Votes: 0

Watchers: 0

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