# 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.