awesome-bugs
awesome-bugs copied to clipboard
SVF setup has missing step in `run.sh`
SVF requires cloning itself from git repo just like it's done in CI configuration main.yml:
git clone https://github.com/SVF-tools/SVF.git
Need to add this command into run.sh