Skip to content

Commit 08d6ba9

Browse files
committed
ci
1 parent b0041db commit 08d6ba9

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

VSharp.CoverageTool/CoverageTool.fs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -161,6 +161,7 @@ type PassiveCoverageTool(workingDirectory: DirectoryInfo, method: MethodBase) =
161161
let mutable allCovered = true
162162
for block in allBlocks do
163163
if visited.Contains block |> not then
164+
Logger.writeLine $"%A{block.ToString()}"
164165
Logger.writeLine $"Block [0x{block.StartOffset:X} .. 0x{block.FinalOffset:X}] not covered"
165166
allCovered <- false
166167
if allCovered then

0 commit comments

Comments
 (0)