8 lines
184 B
Python
8 lines
184 B
Python
|
import os
|
||
|
|
import sys
|
||
|
|
sys.path.append("../common")
|
||
|
|
import awtk_files as awtk;
|
||
|
|
|
||
|
|
CPPFLAGS = 'run -- clang -c -DHAS_STD_MALLOC -DNDEBUG '
|
||
|
|
awtk.run('infer', CPPFLAGS, awtk.getInferFiles())
|