Optik is a set of symbolic execution tools that assist smart-contract fuzzers
Primary LanguagePythonOtherNOASSERTION