result_var


Description:

public LocalVariable result_var { get; set; }

Specifies the generated `result` variable for postconditions.