Run regexp tests in cvc5 integration tests#560

filipeom merged 1 commit intomainformalsec/smtml:mainfrom

filipe/test-regexp-in-cvc5formalsec/smtml:filipe/test-regexp-in-cvc5Copy head branch name to clipboard