yeting li <liyt at ios.ac.cn> added the comment: You can use the dk.brics.automaton library to verify whether two regexes are equivalent. ---------- _______________________________________ Python tracker <report at bugs.python.org> <https://bugs.python.org/issue41715> _______________________________________