search

conjure-cp / conjure

Conjure: The Automated Constraint Modelling Tool
Other
96 stars 20 forks source link

Savilerow errors on `sets-chris10` #54

Closed ozgurakgun closed 7 years ago

ozgurakgun commented 11 years ago

Originally reported by: Bilal Hussain (Bitbucket: Bilalh, GitHub: Bilalh)

running sets-chris10's .eprime results in the following Savilerow errors

***  sets-chris10/0001.eprime  ***
ERROR: In quantifier: (forall v__1 : [int(1..10)] . (forall v__2 : [int(1..10)] . ((((v__1<v__2) /\ x_ExplicitVarSize_tuple1[v__1]) /\ x_ExplicitVarSize_tuple1[v__2]) -> (x_ExplicitVarSize_tuple2[v__1]<x_ExplicitVarSize_tuple2[v__2]))))
ERROR: Identifier `v__1' is already defined.
ERROR: Failed type checking after substituting in lettings.

***  sets-chris10/0003.eprime  ***
ERROR: In quantifier: (forall v__1 : [int(1..10)] . (forall v__2 : [int(1..10)] . ((((v__1<v__2) /\ x_ExplicitVarSize_tuple1[v__1]) /\ x_ExplicitVarSize_tuple1[v__2]) -> (x_ExplicitVarSize_tuple2[v__1]<x_ExplicitVarSize_tuple2[v__2]))))
ERROR: Identifier `v__1' is already defined.
ERROR: Failed type checking after substituting in lettings.

The other .eprime did not finish after waiting 6 minutes

ozgurakgun commented 11 years ago

Original comment by Özgür Akgün (Bitbucket: ozgurakgun, GitHub: ozgurakgun):

Removing component: SavileRow (automated comment)

ozgurakgun commented 11 years ago

Original comment by Özgür Akgün (Bitbucket: ozgurakgun, GitHub: ozgurakgun):

I am closing this and #52. As I said in my email (and previous comment on the issue) yesterday night, this was because of a recent breakage and is fixed now.

ozgurakgun commented 11 years ago

Original comment by Özgür Akgün (Bitbucket: ozgurakgun, GitHub: ozgurakgun):

there is apparently a problem in the generation of unique names, which is weird. this must be the result of the latest changes.

will look into this. in this sense, #52 is a duplicate as well.