Ask a question

Search Forums:

• Search Pex Forum
• Search All DevLabs Forums
• Search All MSDN Forums

 

Pex

Discuss and provide feedback on Pex – Automated White Box Testing for .NET

• 3369
  

  Cannot Display Page Error When Trying to Download

  
  GeoffreyK Thursday, January 08, 2009 9:46 PM
  Last Reply GeoffreyK Friday, January 09, 2009 4:20 PM
 
• 2414
  

  PEX will not work for private and protected methods

  
  neonicholasi Wednesday, January 07, 2009 1:27 PM
  Last Reply neonicholasi Friday, January 09, 2009 3:13 PM
 
• 5411
  

  Guidelines to order of parameter checking

  
  BKStrelioff Tuesday, January 06, 2009 11:10 PM
  Last Reply Mike BarnettMSFTThursday, January 08, 2009 6:21 PM
 
• 4346
  

  Misleading CodeContract errors

  
  BKStrelioff Wednesday, January 07, 2009 1:32 AM
  Last Reply BKStrelioff Thursday, January 08, 2009 2:34 AM
 
• 2402
  

  Whither Spec#

  
  BKStrelioff Tuesday, January 06, 2009 11:12 PM
  Last Reply BKStrelioff Wednesday, January 07, 2009 8:28 PM
 
• 2369
  

  RequiresOnThrows<T>

  
  BKStrelioff Saturday, January 03, 2009 5:35 PM
  Last Reply BKStrelioff Tuesday, January 06, 2009 11:07 PM
 
• 2400
  

  CodeContracts RequireAlways and runtime behavior.

  
  Mike Barry Tuesday, December 30, 2008 3:37 AM
  Last Reply Mike BarnettMSFTTuesday, January 06, 2009 11:04 PM
 
• 1415
  

  Default search strategy

  
  Reid Hochstedler Tuesday, December 16, 2008 1:07 PM
  Last Reply Nikolai TillmannMSFTTuesday, January 06, 2009 1:49 AM
 
• 2450
  

  enum.ToString() contract

  
  BKStrelioff Monday, December 22, 2008 7:01 PM
  Last Reply BKStrelioff Saturday, January 03, 2009 5:04 AM
 
• 2414
  

  Ensures "!=" vs ">","<"

  
  BKStrelioff Monday, December 22, 2008 8:21 PM
  Last Reply Mike BarnettMSFTFriday, December 26, 2008 5:35 PM
 
• 2403
  

  Is "OldValue" presumed for Ensures contracts?

  
  BKStrelioff Monday, December 22, 2008 8:37 PM
  Last Reply BKStrelioff Wednesday, December 24, 2008 3:45 AM
 
• 1305
  

  PTextReader

  
  Reid Hochstedler Tuesday, December 23, 2008 5:44 PM
  Last Reply PeliMSFTTuesday, December 23, 2008 8:31 PM
 
• 3398
  

  Contract violation message suggestion

  
  Reid Hochstedler Thursday, November 27, 2008 2:17 AM
  Last Reply PeliMSFTMonday, December 22, 2008 7:14 PM
 
• 2414
  

  PEX cannot test a method in the class that has a private constructor

  
  maguschen Monday, December 22, 2008 9:06 AM
  Last Reply PeliMSFTMonday, December 22, 2008 3:50 PM
 
• 5458
  

  Code Contracts: Deep Invariant for immutability and initialization

  
  Dave Sexton Tuesday, December 02, 2008 11:51 AM
  Last Reply BKStrelioff Sunday, December 21, 2008 6:00 PM
 
• 5436
  

  Need help to execute Test multiple times simulataneously

  
  Newkid Saturday, December 13, 2008 11:09 PM
  Last Reply PeliMSFTThursday, December 18, 2008 9:01 AM
 
• 1405
  

  Code Contracts: unbounded quantifiers?

  
  Giacomo Citi Monday, December 08, 2008 9:20 PM
  Last Reply Mike BarnettMSFTTuesday, December 16, 2008 9:38 PM
 
• 7567
  

  Error in PexAssert

  
  Alexander Wurzinger Tuesday, December 16, 2008 2:52 PM
  Last Reply PeliMSFTTuesday, December 16, 2008 9:06 PM
 
• 2405
  

  Code Contracts Syntax

  
  swo1 Saturday, December 06, 2008 12:42 AM
  Last Reply Manuel FahndrichMSFTMonday, December 08, 2008 6:35 PM
 
• 1488
  

  Pex Exploratiation Initialize

  
  Alexander Wurzinger Friday, December 05, 2008 4:38 PM
  Last Reply PeliMSFTFriday, December 05, 2008 6:25 PM