Loading...

This issue belongs to an archived project. You can view it, but you can't modify it. Learn more

XML

Word

Printable

Steps to Reproduce:

Hide

With the following DSL:
[when][]Test=Test((t==a || t==b) && c==d)
[when][]-test2 = e==f

the 'when':
Test
-test2

becomes:
Test( (t==a || t==b, e==f ) && c==d)
instead of
Test ((t==a || t==b) && c==d, e==f)

Workaround: add a dummy constraint to the DSL, eg.:
[when][]Test=Test((t==a || t==b) && c==d, a==a)

Show
With the following DSL: [when] []Test=Test((t==a || t==b) && c==d) [when] []-test2 = e==f the 'when': Test -test2 becomes: Test( (t==a || t==b, e==f ) && c==d) instead of Test ((t==a || t==b) && c==d, e==f) Workaround: add a dummy constraint to the DSL, eg.: [when] []Test=Test((t==a || t==b) && c==d, a==a)

With the following DSL:
[when][]Test=Test((t==a || t==b) && c==d)
[when][]-test2 = e==f

the 'when':
Test
-test2

becomes:
Test( (t==a || t==b, e==f ) && c==d)
instead of
Test ((t==a || t==b) && c==d, e==f)

DSL: Adding constraints ("-") to facts with parens doesn't work correctly