krr / IDP / issues / #132 - Varmapping-like bug in querying — Bitbucket

Issue #132 resolved

Bart Bogaerts created an issue 2012-03-22

stringgeq.idp fails sometimes in the tests due to some varmapping-like bug.

It first appeared when adding "recursiveDeleteKeepVars()" to the bddfactory. However, this does not seem to be the reason for the failure.

I didn't manage to make the test crash: it finishes but the given answer is wrong.

Valgrind doesn't solve this either.

Comments (6)

Broes De Cat
- assigned issue to
  
  Broes De Cat
- 2012-03-22T11:56:10+00:00
Broes De Cat
- marked as minor
- changed status to on hold
Only reproduces in very few cases, so will hopefully get resolved when memory management has been reworked.
- 2012-04-26T12:43:11+00:00
Bart Bogaerts reporter
Another varmapping-like bug occurs in tests/mx/satmx/SATCardSquare.idp (did somebody already try to fix this one? (it prints two times "A" for some reason))
- 2012-04-26T13:42:27+00:00
Bart Bogaerts reporter
- changed status to resolved
fixes several bugs: fixes ~~#132~~ and others

→ ae59e9243df5
- 2012-05-15T09:37:19+00:00
Bart Bogaerts reporter
fixes several bugs: fixes ~~#132~~ and others

→ ae59e9243df5
- 2012-05-16T10:18:32+00:00
Broes De Cat
- removed milestone
Removing milestone: BDD's added (automated comment)
- 2013-01-30T09:36:46+00:00
Log in to comment

Assignee: Broes De Cat

Type: bug

Priority: minor

Status: resolved

Component: BDDs

Version: –

Votes: 0

Watchers: 1

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