krr / IDP / issues / #10 - Sokoban moon-bug — Bitbucket

Issue #10 wontfix

Bart Bogaerts created an issue 2011-12-08

De satsokoban sattest failt soms wel en soms niet door een of andere NULL pointer in visit van unnestterms. Hij wordt nu opgevangen door een assert, maar het is niet gelukt om de oorzaak te achterhalen

Comments (3)

Bart Bogaerts reporter
- changed milestone to First Release 25/12/2011
- changed version to 2.0
- 2011-12-09T13:59:34+00:00
Broes De Cat
- changed status to wontfix
Cannot reproduce anymore
- 2011-12-13T13:58:48+00:00
Broes De Cat
- removed milestone
Removing milestone: First Release 25/12/2011 (automated comment)
- 2013-01-30T09:36:50+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: wontfix

Component: –

Version: 2.0

Votes: 0

Watchers: 1

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