Fixes after merge: missed CFG loading.

PySymGym · Aug 14, 2023 · 63a37aa · 63a37aa
1 parent cc91a05
commit 63a37aa
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 7 deletions.
diff --git a/VSharp.IL/CFG.fs b/VSharp.IL/CFG.fs
@@ -598,10 +598,6 @@ type ApplicationGraph(getNextBasicBlockGlobalId) =
                 newState.CodeLocation.BasicBlock.IsVisited
                 || newState.CodeLocation.offset = newState.CodeLocation.BasicBlock.FinalOffset
 
-    let addStates (parentState : Option<IGraphTrackableState>) (states : array<IGraphTrackableState>) =
-        // Not implemented yet
-        ()
-
     let getShortestDistancesToGoals (states : array<codeLocation>) =
         __notImplemented__()
 

diff --git a/VSharp.SILI/SILI.fs b/VSharp.SILI/SILI.fs
@@ -358,9 +358,7 @@ type public SILI(options : SiliOptions) =
             if searcher :? BidirectionalSearcher && (searcher :?> BidirectionalSearcher).ForwardSearcher :? AISearcher && ((searcher :?> BidirectionalSearcher).ForwardSearcher :?> AISearcher).InAIMode
             then stepsPlayed <- stepsPlayed + 1u
             if statistics.CurrentExplorationTime.TotalMilliseconds >= timeout
-            then x.Stop()
-
-        while not isStopped && not <| isStepsLimitReached() && not <| isTimeoutReached() && pick() do
+            then x.Stop()                   
             if shouldReleaseBranches() then
                 releaseBranches()
             match action with