Stabilization: part XXIX - Githubissues

VSharp-team / VSharp

Symbolic execution engine for .NET Core

Apache License 2.0

50 stars 32 forks source link

Stabilization: part XXIX #301

Closed MchKosticyn closed 10 months ago

MchKosticyn commented 10 months ago

fixed renderer
fixed deserialization of unit test
fixed deep copy
added test