getCode alternatives in Echidna To try these out: echidna . --contract Deploy --config echidna.yaml echidna . --contract Deploy2 --config echidna.yaml