locked
Time functions with CHESS RRS feed

  • Question

  • Hi,

    i'm doing my internship concerning multi-threaded programs verification with CHESS and i encountered a small problem. I read in wchess's documentation that we can use time-related functions such as CreateWaitableTimer and SetWaitableTimer. But when i run my program with wchess.exe, i get the following message:

    SetWaitableTimer Not Implemented in CHESS (yet)

    Is there any newer version of CHESS (maybe a beta one) that has these functions implemented?

    Thank you.

    Tuesday, May 11, 2010 6:55 PM

Answers