[SOLVED] Invalid model checker extCalls requested. (solidity)
Invalid model checker extCalls requested. #RC# VerifyMost minor errors can be traced back to outdated software or incorrect configuration files. The solidity interface might occasionally display a "nonce error" .…