gsdlab/clafer — Issue #18: incorrect expression in a quantified constraints translated to Alloy
Author: mantkiew
Created: 2012-02-15 02:26:24+00:00
State: open

http://gsd.uwaterloo.ca/bugs/question/8/issue19-incorrect-expression-in-a-quantified