Up
–
infer
»
Quandary__TaintSpec
»
S
»
Trace
»
Sources
» FootprintConfig
Module
Sources.FootprintConfig
val
max_depth : int
val
max_width : int