Skip to content

Add map from variables to SMT term in `fromSMT`'s context

Viktor Kuncak requested to merge github/fork/jad-hamza/let-bindings into master

Created by: jad-hamza

Fix #104.

This adds a map from variables to SMT terms in the context of fromSMT (see @samarion's suggestion in #104). The hack is not very clean, I added an exception in Parser.scala if the new withSMTVariable is used there.

Merge request reports