Sign in
 
DevLabs > DevLabs Forums > CHESS – Find and Reproduce Concurrency Heisenbugs > How do you specify /detectraces+ and /preemptaccesses+ with attributes?
Ask a questionAsk a question
Search Forums:
 

AnswerHow do you specify /detectraces+ and /preemptaccesses+ with attributes?

  • Friday, August 21, 2009 11:50 PMNeil_J Users MedalsUsers MedalsUsers MedalsUsers MedalsUsers Medals
     
    Sign In to Vote
    0
    Sign In to Vote

    How do you specify /detectraces+ and /preemptaccesses+ with attributes?

    I found [TestProperty("ChessMonitorVolatiles", "true")] in a forum post for /volatile+ but I haven't found attributes for /detectraces+ and /preemptaccesses+.

    Is there a list of all CHESS attributes?

     

Answers

  • Saturday, August 22, 2009 4:46 AMTom BallMSFT, ModeratorUsers MedalsUsers MedalsUsers MedalsUsers MedalsUsers Medals
     Answer
    Sign In to Vote
    0
    Sign In to Vote

    Please use mchess to get access to all the features, such as /detectraces. We don't have the resources to support all the features of mchess in the Visual Studio integration. The list of supported attributes for Visual Studio is in the documentation and is up-to-date.  It doesn't include /detectraces.  Best,

    -- Tom

     

All Replies

  • Saturday, August 22, 2009 4:46 AMTom BallMSFT, ModeratorUsers MedalsUsers MedalsUsers MedalsUsers MedalsUsers Medals
     Answer
    Sign In to Vote
    0
    Sign In to Vote

    Please use mchess to get access to all the features, such as /detectraces. We don't have the resources to support all the features of mchess in the Visual Studio integration. The list of supported attributes for Visual Studio is in the documentation and is up-to-date.  It doesn't include /detectraces.  Best,

    -- Tom