blob: a594c5dada58fe2a2a284b4391c65dbafd194366 [file] [log] [blame]
# -*- Python -*- vim: set ft=python ts=4 sw=4 expandtab tw=79:
import site
# Load the custom analyzer test format, which runs the test again with Z3 if it
# is available.
site.addsitedir(os.path.dirname(__file__))
import analyzer_test
config.test_format = analyzer_test.AnalyzerTest(
config.test_format.execute_external)
if not config.root.clang_staticanalyzer:
config.unsupported = True