-
Ludwig Dickmanns authored
* McdcTestSuiteGenerator: Getter for atoms and independencePairs. Removed print of model. Cleanup. Added TODOs. * MCDCUtils: Added BoolExpr for retrieval of evaluated guard (takenBranch). Issue-Ref: 3476 Issue-Url: https://af3-developer.fortiss.org/issues/3476 Signed-off-by: Ludwig Dickmanns <dickmanns@fortiss.org>
65a0b398