feat(api/graphql): add verifyProof + suggestTactics(prover/context/goalState) + proverStatus (closes #180)#188

hyperpolymath merged 1 commit into

mainhyperpolymath/echidna:mainfrom

feat/graphql-ops-for-echidnabot-issue-180hyperpolymath/echidna:feat/graphql-ops-for-echidnabot-issue-180Copy head branch name to clipboard