Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
af3
AF3
Commits
348930c0
Commit
348930c0
authored
Sep 04, 2018
by
Hernan Ponce de Leon
Browse files
MCDC testing: [RED]
Issue-Ref:3464 Signed-off-by:
Hernan Ponce de Leon
<
ponce@fortiss.org
>
parent
0a775055
Changes
2
Show whitespace changes
Inline
Side-by-side
org.fortiss.af3.testing/src/org/fortiss/af3/testing/utils/.ratings
View file @
348930c0
...
...
@@ -2,4 +2,4 @@ GenerateStateAutomatonUtils.java 81645f6c18da5bcc920f8671da4eeb622f8f69d4 GREEN
StatisticUtils.java d2ea1b26fc14f0b19d18604d330205b8aae3352e GREEN
TestingConstraintUtils.java 7c423db9009862b16a96c05ab7ef9a59d4af6c81 GREEN
TestingModelElementFactory.java fc8e2db6f45de44e7468abde29d89e9c87b56cbe YELLOW
TestingUtils.java
5f8a7b140e994a93d4c22ef9b57f03ee1a3fe237 YELLOW
TestingUtils.java
20cca57a6f425fa794846aa6e5738604ddf307e1 RED
org.fortiss.af3.testing/src/org/fortiss/af3/testing/utils/TestingUtils.java
View file @
348930c0
...
...
@@ -296,17 +296,26 @@ public class TestingUtils {
// an empty array.
IExpressionTerm
rhs
=
((
Assignment
)
statement
).
getValue
();
if
(
rhs
instanceof
Var
)
{
//TODO(HP): can't this be simplified by
//if(!inputs.contains(rhs)) {
// return false;
//}
if
(
inputs
.
contains
(
rhs
))
{
continue
;
}
return
false
;
}
for
(
Var
var
:
getChildrenWithType
(
rhs
,
Var
.
class
))
{
//TODO(HP): can't this be simplified by
//if(!inputs.contains(rhs)) {
// return false;
//}
if
(
inputs
.
contains
(
var
))
{
continue
;
}
return
false
;
}
//TODO(HP): this doesn't have any effect. Can't just be removed?
continue
;
}
return
false
;
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment