locked
Problem trying to use Pex with changes maxconstraintsolving time RRS feed

  • Question

  • When I add the following lines at the begining of my otherwise working code:

    using Microsoft.Pex.Framework;

    [PexClass(MaxConstraintSolverTime=10)]

    It gives the followng error:

    Error 1 The type or namespace name 'Pex' does not exist in the namespace 'Microsoft' (are you missing an assembly reference?)

    Pease help, thanks in advance

    Monday, January 14, 2013 11:05 AM

All replies

  • Hi Ankitdixit,

    I am trying to involve someone familiar with this topic to further look at this issue. There might be some time delay. Appreciate your patience.

    Best regards,


    Amanda Zhu [MSFT]
    MSDN Community Support | Feedback to us
    Develop and promote your apps in Windows Store
    Please remember to mark the replies as answers if they help and unmark them if they provide no help.

    Tuesday, January 15, 2013 2:27 AM
  • Can you please upload sample code on SkyDrive?

    Thank you

    Tuesday, January 22, 2013 3:27 PM