issues
search
ropas
/
infer
A static analyzer for Java, C and Objective-C
http://fbinfer.com/
Other
2
stars
0
forks
source link
"--ropas-debug" option
#2
Open
KihongHeo
opened
7 years ago
KihongHeo
commented
7 years ago
--bo-debug [n]
If n is
0: print alarm report [default]
1: print each procedural summary and alarm report with short symbol names
2: all input-output states during the analysis with long symbol names
--bo-debug [n]
If n is