From 78c6ba0276e3efe4750e353179904a06e465df93 Mon Sep 17 00:00:00 2001 From: Gerard Murphy Date: Thu, 17 Oct 2024 09:45:34 +0100 Subject: [PATCH] TO BE REVERTED: temporarily disable a failing post-condition in `CodeMotionAnalysisExtension.merge` to see what the overall result of running the problematic example motivating https://github.com/sageserpent-open/kineticMerge/issues/91 is... --- .../core/CodeMotionAnalysisExtension.scala | 16 ---------------- 1 file changed, 16 deletions(-) diff --git a/src/main/scala/com/sageserpent/kineticmerge/core/CodeMotionAnalysisExtension.scala b/src/main/scala/com/sageserpent/kineticmerge/core/CodeMotionAnalysisExtension.scala index e48a956c..0d808ade 100644 --- a/src/main/scala/com/sageserpent/kineticmerge/core/CodeMotionAnalysisExtension.scala +++ b/src/main/scala/com/sageserpent/kineticmerge/core/CodeMotionAnalysisExtension.scala @@ -191,22 +191,6 @@ object CodeMotionAnalysisExtension extends StrictLogging: end match } - // NOTE: have to delay this assumption check until after the complete move - // destination report has been finalized, and *not* make it an invariant - // of `MoveDestination`. This is because divergent moves are entered as - // separate left- and right-moves, so any such invariant could (and does) - // break. - moveDestinationsReport.moveDestinationsByMatches.values.foreach { - moveDestination => - if moveDestination.isDegenerate then - // We don't consider left- and right-insertions to be degenerate - // moves, as there is no match involved. - assume( - moveDestination.isDivergent || moveDestination.coincident.nonEmpty - ) - end if - } - def isMoveDestinationOnGivenSide( section: Section[Element], side: Side,