diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-09-28 19:54:25 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-28 17:54:25 -0700 |
commit | 85c509bc5c4005861f9c393931b426a776d4c0d6 (patch) | |
tree | ed32da17dd6d6332072e03869a4f6e567fcc90c2 /src/expr/proof_node.h | |
parent | 0ae9a3cfd78bc2d0b8a603a21f2181038fab4880 (diff) |
Disable regression that is timing out (#5142)
Seems to be timing out on 1/5 of our CI runs currently.
Diffstat (limited to 'src/expr/proof_node.h')
0 files changed, 0 insertions, 0 deletions