Up – infer » Quandary__TaintAnalysis » Make » 1-TaintSpecification » Trace » Sources » FootprintConfig

Module `Sources.FootprintConfig`

val max_depth : int
val max_width : int