search

VSharp-team / VSharp

Symbolic execution engine for .NET Core
Apache License 2.0
50 stars 32 forks source link

New basic blocks with interprocedural edges. #154

Closed gsvgit closed 1 year ago

MchKosticyn commented 1 year ago

Refactored and merged in https://github.com/VSharp-team/VSharp/pull/258