-
Ludwig Dickmanns authored
* McdcTestSuiteGenerator: TestCases are now only added if it makes sense to add them, i.e. if z3 has a satisfiable prepositional formula. Issue-Ref: 3596 Issue-Url: https://af3-developer.fortiss.org/issues/3596 Signed-off-by: Ludwig Dickmanns <dickmanns@fortiss.org>
cf2e8421