issues
search
VSharp-team
/
VSharp
Symbolic execution engine for .NET Core
Apache License 2.0
50
stars
32
forks
source link
Remove submodules
#172
Closed
mxprshn
closed
1 year ago
mxprshn
commented
1 year ago
Add ReleaseConcolic and DebugConcolic build configurations in which dotnet/runtime is cloned and built, thus remove runtime submodule
Replace Z3 submodule with custom nuget package