Commit e9a2765d authored by Hernan Ponce de Leon's avatar Hernan Ponce de Leon
Browse files

MCDC: Code Review [GREEN]


Signed-off-by: Hernan Ponce de Leon's avatarHernan Ponce de Leon <ponce@fortiss.org>
parent 6f6038a9
MCDCUtils.java abe06c5b4e2404c19a67fceb1a022712c6ac883f YELLOW
MCDCUtils.java 7ac114cd2a668169becb4ee2f4568d7b86607478 GREEN
......@@ -79,14 +79,15 @@ public final class MCDCUtils {
}
if(term instanceof Var) {
IType type = getVarType((VarBase)term, context);
String identifier = ((Var)term).getIdentifier();
if(type instanceof TBool) {
return ctx.mkBoolConst(prefix + ((Var)term).getIdentifier());
return ctx.mkBoolConst(prefix + identifier);
}
if(type instanceof TInt) {
return ctx.mkIntConst(prefix + ((Var)term).getIdentifier());
return ctx.mkIntConst(prefix + identifier);
}
if(type instanceof TDouble) {
return ctx.mkRealConst(prefix + ((Var)term).getIdentifier());
return ctx.mkRealConst(prefix + identifier);
}
}
if(term instanceof FunctionCall) {
......
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