Closed hiqua closed 5 years ago
Currently, Securify will throw a nullpointerexception if the requirement is not fulfilled, we should check whether the requirements are fulfilled from the beginning instead.
Didn't we implement this check already?
Yes, if souffle is not available the error message is good enough.
souffle
Currently, Securify will throw a nullpointerexception if the requirement is not fulfilled, we should check whether the requirements are fulfilled from the beginning instead.