search

VSharp-team / VSharp

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

Enable test generation for constructors #133

Closed dvvrd closed 2 years ago

dvvrd commented 2 years ago

This partially fixes issue reported by @max-arshinov at discussion of #127. See the discussion for more details.