krr / IDP / issues / #626 - Symmetry breaking fails in bootstrapping definitions postprocessing code — Bitbucket

Issue #626 resolved

Broes De Cat created an issue 2014-01-02

On branch def_processing, various tests in tests/symm fail if line 47 (setOption(SYMMETRYBREAKING,"none");) in DefinitionsProcessing.hpp is commented. I've got no clue about the issue.

Comments (8)

Broes De Cat reporter
Refs ~~#626~~: disabling symm breaking in postprocessing.

→ <<cset 221cad44ef39>>
- 2014-01-02T15:24:01+00:00
Broes De Cat reporter
Possibly related to constructed types?
- 2014-01-03T12:27:29+00:00
Broes De Cat reporter
Refs ~~#626~~: disabling symm breaking in postprocessing.

→ <<cset 50d20b85ac44>>
- 2014-01-21T10:14:41+00:00
Broes De Cat reporter
Refs ~~#626~~: disabling symm breaking in postprocessing.

→ <<cset 1743f9fb6c0c>>
- 2014-02-26T16:18:02+00:00
Bart Bogaerts
Is dit nog relevant (recent is een belangrijke symmetrybug gefixed...)
- 2014-02-26T16:20:37+00:00
Broes De Cat reporter
Zal meteen checken, was juist naar die pull request aan het kijken
- 2014-02-26T16:30:59+00:00
Broes De Cat reporter
- changed status to resolved
- 2014-02-26T16:49:38+00:00
Broes De Cat reporter
Refs ~~#626~~: disabling symm breaking in postprocessing.

→ <<cset 05577d4083ec>>
- 2014-02-26T16:51:18+00:00
Log in to comment

Assignee: JoD

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 2

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