Up – Index » infer » Checkers » SiofTrace » Sources » FootprintConfig

Module `Sources.FootprintConfig`

val max_depth : int

val max_width : int