krr / IDP / issues / #89 - Splitproduct uses deleted objects — Bitbucket

Issue #89 resolved

Broes De Cat created an issue 2012-01-07

running valgrind on /media/data/documenten/kuldoctoraat/software/gidl2/tests/mx/simplemx/prodemptyset.idp shows that it uses some deleted formula.

Comments (2)

Bart Bogaerts
- changed status to resolved
fixes issue 89

→ 55a969b1aeaa
- 2012-01-09T11:33:39+00:00
Broes De Cat reporter
fixes issue 89

→ 55a969b1aeaa
- 2012-01-17T14:23:44+00:00
Log in to comment

Assignee: –

Type: bug

Priority: minor

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 0

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