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


Signed-off-by: Hernan Ponce de Leon's avatarHernan Ponce de Leon <>
parent 9456ad3c d05720e66f3a86e7a17e185692e60a0f5abac85d YELLOW a95770841e189f2c39b3455aa9c82d059da53d36 YELLOW 40b6abf3ddd94ef5a3b0ebe69a369b842b41e1a6 RED
......@@ -64,6 +64,11 @@ public final class MCDCUtils {
* @param context
* @return the {@link Expr} for an {@link ITerm} or <code>null</code> for invalid inputs.
// TODO(HP): Remove the println
// TODO(HP): Way to many nested ifs. maybe use pattern matching.
// Also, it would be better to just check "instance of X" for the Xs in the lowest level of the type hierarchy (BoolConst, Var, FunctionCall,
// instead of IStatementTerm or IExpressionTerm) and just return null if not of the cases match that.
public static Expr toZ3(String prefix, Context ctx, ITerm term, EObject context) {
if(term instanceof IStatementTerm) {
if(term instanceof IExpressionTerm) {
......@@ -119,6 +124,7 @@ public final class MCDCUtils {
System.out.println("Arguments of PredefinedFunction < 1: " +
// TODO(HP): This is dead code. If the first 2 ifs were false, the 2rd will be true and return.
return null;
System.out.println("Unmatched FunctionCall: " + term.toString());
Supports Markdown
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