search

VSharp-team / VSharp

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

[README] Add CPP part related stuff to requirements #313

Open Anya497 opened 8 months ago

Anya497 commented 8 months ago

Add LLVM/GGC version and other information to README to simplify build from scratch.