locked
Uninstrumented Method DateTimeParse.TryParse(String, DateTimeFormatInfo, DateTimeStyles, DateTime&) RRS feed

  • Question

  • I've been trying to get some of the PEX samples working, but anything with DateTime.TryParse/DateTime.Parse produces dissapointing results. Pex does not come up with any interesting parameters, and if I wrap this with a reachable implication, it simply says 1 Missed Goal.

    I think this must be because of the message I'm recieving about DateTimeParse.TryParse being uninstrumented, but why is it uninstrumented in the first place? Why does the document "Parameterized Test Patterns for Microsoft Pex" use DateTime as an example, if it does nothing interesting?

    Thursday, October 27, 2011 5:47 PM