Queries fail when multiple identical variables are used in the variable block

Issue #235 resolved

Broes De Cat created an issue 2012-10-05

{ x x : P(x,x) } given non-sense output

Comments (8)

Broes De Cat reporter
Refs ~~#235~~ Added failing unit test on queries

→ Wiki macro error: Changeset f09de018e626 not found.
- 2012-10-05T16:55:20+00:00
Bart Bogaerts
Refs ~~#235~~ Added failing unit test on queries

→ 0b4573bc0d1b
- 2012-10-08T08:22:43+00:00
Bart Bogaerts
Moved samevars-test to parsertests

see ~~#235~~ This file was no good example. We don't want to allow quantifying one variable multiple times.

→ dfd3a57d72c0
- 2012-10-09T07:05:40+00:00
Bart Bogaerts
- changed status to resolved
Fixed issue with multiple occuring variables

Fixes issue ~~#235~~. The problem was that for every variable, a new domainelementcontainer was made Instead, what we had to do was duplicatin the same domainelementcontainer.

→ e9440fd88e6f
- 2012-10-09T07:05:40+00:00
Bart Bogaerts
Added test for querying with multiple occurences of variable

see ~~#235~~ and commit e9440fd. (This test tests the fixes e9440fd fixed)

→ 407e5056055d
- 2012-10-09T07:05:40+00:00
Bart Bogaerts
Moved samevars-test to parsertests

see ~~#235~~ This file was no good example. We don't want to allow quantifying one variable multiple times.

→ dfd3a57d72c0
- 2012-10-09T12:29:52+00:00
Bart Bogaerts
Fixed issue with multiple occuring variables

Fixes issue ~~#235~~. The problem was that for every variable, a new domainelementcontainer was made Instead, what we had to do was duplicatin the same domainelementcontainer.

→ e9440fd88e6f
- 2012-10-09T12:29:52+00:00
Bart Bogaerts
Added test for querying with multiple occurences of variable

see ~~#235~~ and commit e9440fd. (This test tests the fixes e9440fd fixed)

→ 407e5056055d
- 2012-10-09T12:29:52+00:00
Log in to comment

Assignee: –

Type: bug

Priority: minor

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 0