search

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

fix join_1x2 axiom #7

Closed jonnybest closed 12 years ago

jonnybest commented 12 years ago

(error "line 55 column 66: invalid function application, sort mismatch on argument at position 2")

jonnybest commented 12 years ago

https://github.com/jonnybest/thesisalloy2smt/issues/9