README.md has wrong link to manual
surak opened this issue · comments
The github page has an USAGE section with a link to a quick start manual... which is 404.
Automatic test case generation for python and static analysis library
surak opened this issue · comments
The github page has an USAGE section with a link to a quick start manual... which is 404.