@@ -277,6 +277,9 @@ class CandidatesGenerator {
adaptedPort.identifier)
val success = addConstraint(adaptedPort.unit, adaptedPort, constraints, n, cs)
logger.debug("Success: {}", success)
+ if (success == AddConstraintResult.CYCLE) {
+ introducedCycle = true
+ }
}
InterpolationAdaptation: {