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