1
Vote

Add ConflictSerializabilityTest to MCUT

description

This test is needed for the PPCP course material
 
ConflictSerializabilityTest
o arguments: none so far
o Mchess commandline arguments –checkatomicity

comments

wrote Dec 28, 2010 at 3:18 AM

Associated with changeset 54241.

mormayo wrote Feb 25, 2011 at 4:37 PM

Assigning to Tom to make regression tests.

Sign in to add a comment or to set email notifications