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())
|