diff options
Diffstat (limited to 'Test/optimization/lit.local.cfg')
-rw-r--r-- | Test/optimization/lit.local.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/optimization/lit.local.cfg b/Test/optimization/lit.local.cfg index 158a1e4d..35c7e558 100644 --- a/Test/optimization/lit.local.cfg +++ b/Test/optimization/lit.local.cfg @@ -1,3 +1,3 @@ # Do not run tests in this directory and below config.unsupported = True -# TODO(wuestholz): Enable these tests once we can rely on Z3 4.4.2 or higher. +# TODO(wuestholz): Enable these tests once we can rely on a version of Z3 that includes changeset 5948013b1b04d8529bce366c0c7b87e1d88a1827. |