diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-05-27 18:22:28 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-27 23:22:28 +0000 |
commit | a1624b7f5b7809329845f4a31e7b6a0e86ebc9d3 (patch) | |
tree | cb05e79b2aba4728d6ec9bbf472fa90666677a67 /cmake/ConfigDebug.cmake | |
parent | 29f0b8f378377ed836bddaaf88883d0b2eeb545d (diff) |
Fix regular expression aggressive elim (#6627)
Fixes #6620, fixes #6622. Fixes cvc5/cvc5-projects#254.
The benchmarks from the 2 issues timeout, a regression is added for the projects issue.
Diffstat (limited to 'cmake/ConfigDebug.cmake')
0 files changed, 0 insertions, 0 deletions