missing function bodies

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

missing function bodies #20

Closed jonnybest closed 12 years ago

jonnybest commented 12 years ago

context: translateFunc(func) Translate taclet generation in smt Save body&declaration until first call in model Lazily fill into assertion list when called