Check out the awesome tool written by my colleague @avalz. Especially if you have regex-based checks that you want to bypass. You won't _regret_. ðŸ¤
GitHub - AvalZ/regrets: Use Z3 to generate strings that match multiple regex | "The plural of regex is regrets"
Use Z3 to generate strings that match multiple regex | "The plural of regex is regrets" - GitHub - AvalZ/regrets: Use Z3 to generate strings that match multiple regex | "The plural...