Error if you use CHECK HISTORY in a postcondition after another condition that evaluates to FALSE

insert_drive_file
arrow_downward Download