search

dblotsky / stringfuzz

Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
Other
20 stars 9 forks source link

scripts can't be run from the base directory #1

Closed mtrberzi closed 7 years ago

mtrberzi commented 7 years ago

The README says that the scripts can be run from the root directory of the repository with commands such as ./bin/stringfuzzg --help. When I run this command from the base directory, it prints the following error:

Traceback (most recent call last):
  File "./bin/stringfuzzg", line 11, in <module>
    from stringfuzz.constants import LANGUAGES, SMT_20_STRING, SMT_25_STRING
ImportError: No module named 'stringfuzz'

The same problem occurs when trying to run stringfuzzx or stringstats. Is there something special that needs to be done to set up the libraries used prior to running these scripts?

dblotsky commented 7 years ago

Yep, you need to install the package first. Sorry, I had the install instructions buried too deep in the README. Just run this from the repo root:

python3 setup.py install

I moved the "Installing" section up in the README for the future.