what

Gitubrr · Gitubrr · commit 1baa9a14a199 · 2025-12-19T21:38:55.000+03:00
diff --git a/VSharp.IL/Serializer.fs b/VSharp.IL/Serializer.fs
@@ -503,7 +503,7 @@ let collectGameState (basicBlocks: ResizeArray<BasicBlock>) filterStates process
                     )
 
                 pathConditionDelta.Add pathConditionRoot
-
+//swswdwdwdwd
                 State(
                     s.Id,
                     (uint <| s.CodeLocation.offset - currentBasicBlock.StartOffset + 1<byte_offset>)

Original file line number	Diff line number	Diff line change
`@@ -503,7 +503,7 @@ let collectGameState (basicBlocks: ResizeArray<BasicBlock>) filterStates process`
`503`	`503`	`)`
`504`	`504`
`505`	`505`	`pathConditionDelta.Add pathConditionRoot`
`506`		`-`
	`506`	`+//swswdwdwdwd`
`507`	`507`	`State(`
`508`	`508`	`s.Id,`
`509`	`509`	`(uint <\| s.CodeLocation.offset - currentBasicBlock.StartOffset + 1<byte_offset>)`