Up – infer » Quandary » TaintAnalysis » Make » TaintSpecification » Trace » Sources » FootprintConfig

Module `Sources.FootprintConfig`

val max_depth : int

val max_width : int