2017-04-06 02:56:48 +08:00
|
|
|
# -*- Python -*- vim: set ft=python ts=4 sw=4 expandtab tw=79:
|
2017-03-04 02:02:02 +08:00
|
|
|
|
2017-04-06 02:56:48 +08:00
|
|
|
import site
|
2017-03-04 02:02:02 +08:00
|
|
|
|
2017-04-06 02:56:48 +08:00
|
|
|
# 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)
|
2017-03-04 02:02:02 +08:00
|
|
|
|
2017-03-03 07:30:53 +08:00
|
|
|
if not config.root.clang_staticanalyzer:
|
|
|
|
config.unsupported = True
|