mirror of
https://gitee.com/zlgopen/awtk.git
synced 2024-11-29 18:48:09 +08:00
8 lines
202 B
Python
8 lines
202 B
Python
import os
|
|
import sys
|
|
sys.path.append("../common")
|
|
import awtk_files as awtk;
|
|
|
|
CPPFLAGS = 'run -- clang -c -DHAS_STD_MALLOC -DNDEBUG -DWITH_INFERCHECK '
|
|
awtk.run('infer', CPPFLAGS, awtk.getInferFiles())
|