search

VSharp-team / VSharp

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

Add symbolic collections #329

Open Tozarin opened 2 months ago

Tozarin commented 2 months ago

Adds symbolic support for next collections: