quantifier-problem: too many expressions for type property

jonnybest / Alloy2RelSMT

This is Alloy2RelSMT, a converter. It translates Alloy models into SMT files with a specific relational theory.

1 stars 0 forks source link

Open jonnybest opened 11 years ago

jonnybest commented 11 years ago

correct the thing that made the example look bad

somewhere in the translate_expression for quantified expression, there is a part that extracts both the relation and the expression that includes...