No Contracts for Directory.GetFiles(String, String, SearchOption)

[yaakov-h]

Looks to me like Code Contracts is missing this overload:

https://github.com/Microsoft/CodeContracts/blob/master/Microsoft.Research/Contracts/MsCorlib/System.IO.Directory.cs#L142-L163

Should have the same contract as the others, plus an ArgumentOutOfRangeException as follows:

if ((searchOption != SearchOption.TopDirectoryOnly) && (searchOption != SearchOption.AllDirectories))
                throw new ArgumentOutOfRangeException("searchOption", Environment.GetResourceString("ArgumentOutOfRange_Enum"));

http://referencesource.microsoft.com/#mscorlib/system/io/directory.cs,623

[yaakov-h]

Looks like the same for GetDirectories(String, String, SearchOption)

https://github.com/Microsoft/CodeContracts/blob/master/Microsoft.Research/Contracts/MsCorlib/System.IO.Directory.cs#L119-L141

http://referencesource.microsoft.com/#mscorlib/system/io/directory.cs,689