issues
search
VSharp-team
/
VSharp
Symbolic execution engine for .NET Core
Apache License 2.0
50
stars
32
forks
source link
Stabilization: part XIII
#261
Closed
MchKosticyn
closed
1 year ago
MchKosticyn
commented
1 year ago
fixed renderer
fixed internal calls
fully implemented '.constrained' prefix
fixed concrete memory
fixed array reading composition
fixed serialization of strings
added new tests for strings
style fixes