Set BasicBlock covered.

PySymGym · Dec 18, 2023 · 5f783c7 · 5f783c7
1 parent 44330ed
commit 5f783c7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/VSharp.Explorer/Statistics.fs b/VSharp.Explorer/Statistics.fs
@@ -232,6 +232,7 @@ type public SVMStatistics(entryMethods : Method seq, generalizeGenericsCoverage
  let mutable hasNewCoverage = false
  let blocks = Seq.distinct blocks
  for block in blocks do
+ block.BasicBlock.IsCovered <- true
  let generalizedMethod = generalizeIfNeeded block.method
  let method = block.method
  let mutable isNewBlock = false