awesome-bugs icon indicating copy to clipboard operation
awesome-bugs copied to clipboard

SVF setup has missing step in `run.sh`

Open mximp opened this issue 3 years ago • 0 comments

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

mximp avatar Oct 31 '22 13:10 mximp