1
Vote

Chess Nondeterminism test result handling

description

When chess detects nondeterminism it produces an "Repro" action element that also specifies a carg element to turn nondeterminism off (see NondeterminismHandler.cpp - NondeterminismHandler::RecoverNondeterminismOnBacktrack). While the ChessSchema.xsd now allows for this, the carg is currently ignored by Alpaca.
 
  • Create tests for the non determinism detection (may need to add a new chess test result type)
  • Add the neccessary command line to the MChessOptions class
  • Let the action element specify its own mchessOptions element (instead of carg) and update the NondeterminismHandler to specify the appropriate mchessOptions xml element.
  • Make Alpaca respect any mchessOptions specified under an action element.

comments

mormayo wrote Feb 25, 2011 at 4:22 PM

For an example, see the code near the bottom of this thread:
http://social.msdn.microsoft.com/Forums/en-GB/chess/thread/5bf497de-3011-4dd8-b655-2aca12e6a321

mormayo wrote May 3, 2011 at 7:50 PM

Created NonDeterminismTests class to give an example of this. The test won't always find a DeadLock and will often just pass. But sometimes when it passes it'll give a warning stating that non determinism was found.

wrote May 3, 2011 at 8:57 PM

Associated with changeset 58005.

Sign in to add a comment or to set email notifications