Annotations are not translated to SMT expressions
Following the changes to the DSMLtoSMTTransformator
in commit
[a6c6cbc7](a6c6cbc7)
the List<BoolExpr> expressions
is neither returned to the caller
method nor is it added to the transformedExpressions
. This leads to
the annotations not being included in the generated SMT.
(from redmine: issue id 3760, created on 2019-07-02, closed on 2019-07-03)
- Uploads: