Transformation from IStatementTerm to z3 Expr
In a new class, McdcUtils (to be placed in af3.testing.mcdc), implement
a method toz3(IStatementTerm term, Context ctx)
that converts a term into its z3’s expression representation.
You will probably have to do a case (or several if’s) checking if the
different kind of term you are transforming.
(from redmine: issue id 3465, created on 2018-07-02, closed on 2018-09-18)
- Relations:
- relates #3477 (closed)