Skip to content
This repository has been archived by the owner on Jul 15, 2023. It is now read-only.

Extend postcondition on Path.GetTempFileName #305

Merged
merged 1 commit into from
Nov 20, 2015
Merged

Extend postcondition on Path.GetTempFileName #305

merged 1 commit into from
Nov 20, 2015

Commits on Nov 19, 2015

  1. Extend postcondition on Path.GetTempFileName 

    Extends postcondition to not-null or whitespace, and
length >= 4 since it must end with ".TMP"
    @yaakov-h
    yaakov-h committed Nov 19, 2015
    Configuration menu
    Copy the full SHA
    9fccb9d View commit details
    Browse the repository at this point in the history