Up – goblint » Goblint_lib » AnalysisResult » Result » C

Parameter `Result.C`

val result_name : string