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

testing MCDC: [RED]

Signed-off-by: Hernan Ponce de Leon's avatarHernan Ponce de Leon <>
parent 348930c0 81645f6c18da5bcc920f8671da4eeb622f8f69d4 GREEN d2ea1b26fc14f0b19d18604d330205b8aae3352e GREEN 7c423db9009862b16a96c05ab7ef9a59d4af6c81 GREEN fc8e2db6f45de44e7468abde29d89e9c87b56cbe YELLOW cf4f08f841b81ce3044d7eba0d8520c6fd33a3c6 RED 20cca57a6f425fa794846aa6e5738604ddf307e1 RED
......@@ -332,6 +332,10 @@ public class TestingModelElementFactory {
EList<Var> outputs, IExpressionTerm guard, StatementSequence thenBlock,
StatementSequence elseBlock) {
for(Var var : getChildrenWithType(guard, Var.class)) {
//TODO(HP): can't this be simplified by
//if(!inputs.contains(rhs)) {
// return null;
if(inputs.contains(var)) {
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