feat: configurable warnings (uninit locals, unused unfold)#1073

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

opt-warningsEasyCrypt/easycrypt:opt-warningsCopy head branch name to clipboard