issues
search
VSharp-team
/
VSharp
Symbolic execution engine for .NET Core
Apache License 2.0
50
stars
32
forks
source link
Execution tree searcher & benchmarks framework
#274
Closed
mxprshn
closed
1 year ago
mxprshn
commented
1 year ago
Execution tree searcher (like random path in KLEE)
Framework for running benchmarks from VSharp.Test project
Clean terms interning cache before each SILI run
Remove unused array elements with invalid indices produced by solver from test