Removed rollback of transitions that led to incorrect output

SuvorovNM · Sep 19, 2023 · 472c67e · 472c67e
1 parent 8340c39
commit 472c67e
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/DataPetriNetOnSmt/SoundnessVerification/Services/Repairment.cs b/DataPetriNetOnSmt/SoundnessVerification/Services/Repairment.cs
@@ -114,8 +114,7 @@ public Repairment()
             } while (!repairmentSuccessfullyFinished && !repairmentFailed);
 
             transitionsToTrySimplify = transitionsToTrySimplify.Union(transitionsUpdatedAtPreviousStep).ToHashSet();
-            TryRollbackTransitionGuards(dpnToConsider, coloredConstraintGraph, transitionsToTrySimplify, transitionsDict);
-
+
 
             if (repairmentSuccessfullyFinished)
             {