issues
search
VSharp-team
/
VSharp
Symbolic execution engine for .NET Core
Apache License 2.0
50
stars
32
forks
source link
Stabilization: part XVIII
#269
Closed
MchKosticyn
closed
1 year ago
MchKosticyn
commented
1 year ago
fixed unsafe operations
added simplification for slice of combined term
fixed internal calls
C# concrete calculator functions moved to ILCalculator
fixed renderer
fixed statistics
fixed reflection utils
fixed DFS searcher