Commit f2fc9998 authored by Ludwig Dickmanns's avatar Ludwig Dickmanns
Browse files

MCDC: Removed comment

Issue-Ref: 3465
Issue-Url: https://af3-developer.fortiss.org/issues/3465

Signed-off-by: Ludwig Dickmanns's avatarLudwig Dickmanns <dickmanns@fortiss.org>
parent dccf2067
MCDCUtils.java 8e4c09ba90443f0e369e52de21d3c1dcb6701828 YELLOW
MCDCUtils.java a974fd3e2b293acab8807c098ea83e94376e2cd6 YELLOW
......@@ -126,22 +126,6 @@ public final class MCDCUtils {
return ctx.mkEq(lhs, rhs);
}
}
// TODO: uncomment when merged in mcdc-master
// if(term instanceof FormalRequirementMCDC) {
// FormalRequirementMCDC formalRequirementMCDC = (FormalRequirementMCDC)term;
// BoolExpr guard = (BoolExpr)toZ3(prefix, ctx, formalRequirementMCDC.getGuard());
// BoolExpr thenE = ctx.mkTrue();
// BoolExpr elseE = ctx.mkTrue();
// for(IStatementTerm statement : formalRequirementMCDC.getThenBlock().getStatements())
// {
// thenE = ctx.mkAnd(thenE, (BoolExpr)toZ3(prefix, ctx, statement));
// }
// for(IStatementTerm statement : formalRequirementMCDC.getElseBlock().getStatements())
// {
// elseE = ctx.mkAnd(elseE, (BoolExpr)toZ3(prefix, ctx, statement));
// }
// return ctx.mkOr(ctx.mkAnd(guard, thenE), ctx.mkAnd(ctx.mkNot(guard), elseE));
// }
return null;
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment