Up – Index » goblint » Goblint_lib » AnalysisResult » ResultConf

Module type `AnalysisResult.ResultConf`

val result_name : string