VSharp-team / VSharp

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

Symbolic type replaced with System.Type #143

Closed dvvrd closed 2 years ago

dvvrd commented 2 years ago

This decreased performance a bit. This could be fixed by wrapping types like done with methods in #141. However, here we also improve the performance of strings allocation, which balances the overall performance.

Additional changes: