diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-12-08 19:20:28 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-09 03:20:28 +0000 |
commit | cb7381a837d98c8fd6b6e6aeb7a5e6a0e427a5d2 (patch) | |
tree | 0938cbbd27ed1d03bb456484a1ff5e58481abed6 /src/smt/sygus_solver.h | |
parent | 87574c003d1ff3ab2261ac4ae77e8026dbd39403 (diff) |
test: Remove CDList memory limit test. (#7777)
This test is of little usefulness and has issues with different platforms (mac) and architectures (arm64).
Diffstat (limited to 'src/smt/sygus_solver.h')
0 files changed, 0 insertions, 0 deletions