krr / IDP / issues / #537 - lazy grounding tests segfaulting on master — Bitbucket

Issue #537 resolved

Bart Bogaerts created an issue 2013-10-09

/home/bartb/software/idp/tests/mx/numberknown/emptysetsum2.idp

Comments (2)

Broes De Cat
Cannot reproduce this error (more recent master, but nothing significant should have changed).
- 2013-10-09T11:06:24+00:00
Broes De Cat
- changed status to resolved
- 2013-10-09T18:05:17+00:00
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!