example for the --contract_extensions_override flag#207

naftali-g wants to merge 1 commit intocli-betaCertora/Examples:cli-betafrom

naftali/example_for_contract_extensions_overrideCertora/Examples:naftali/example_for_contract_extensions_overrideCopy head branch name to clipboard