issues
search
VSharp-team
/
VSharp
Symbolic execution engine for .NET Core
Apache License 2.0
50
stars
32
forks
source link
Stabilization: part VI
#241
Closed
MchKosticyn
closed
1 year ago
MchKosticyn
commented
1 year ago
fixed calling non-public methods or methods of non-public type (
https://github.com/VSharp-team/VSharp/issues/233
)
fixed deserialization of compact arrays
command
--public-method-of-class
renamed to
--type
--public-method-of-class
renamed to--type