Leak_Report_Options

Fields

known_allocation_leaves: [] Procedure_To_Elide

roots_to_skip: [] Procedure_To_Elide

group_by_these_calls: [] Procedure_To_Elide

scan_global_memory_to_remove_leaks: := true

scan_leaks_to_combine: := true