Up
–
infer
»
Checkers
»
SiofTrace
»
Sources
» FootprintConfig
Module
Sources.FootprintConfig
val
max_depth : int
val
max_width : int