gillian » Gillian » Logging » Logging_constants » Content_type

Module Logging_constants.Content_type

val debug : string

val phase : string

val proc_init : string

val cmd : string

val cmd_result : string

val cmd_step : string

val match_ : string

val match_case : string

val match_result : string

val assertion : string

val match_recovery : string

val annotated_action : string

val set_freed_info : string