Re: Error in nitial Run of basic_tests.py

[Daniel Shahaf]

As to "how could I know this" --- *_tests.py take a --help option,
which lists --bin in its output.