refactor(testing): type proof_setting as an IntEnum and fix its derivation - #907

refactor(testing): type proof_setting as an IntEnum and fix its derivation#907

tcoratger merged 1 commit into

leanEthereum:mainleanEthereum/leanSpec:mainfrom

tcoratger:refactor/proof-setting-int-enumtcoratger/leanSpec:refactor/proof-setting-int-enumCopy head branch name to clipboard