+ "/test-cdsspec/";
public final static String GeneratedFilesDir = ModelCheckerTestDir;
- public final static String REGISTER = "register";
+ public final static String REGISTER_ACQREL = "register-acqrel";
+ public final static String REGISTER_RELAXED = "register-relaxed";
public final static String MS_QUEUE = "ms-queue";
public final static String LINUXRWLOCKS = "linuxrwlocks";
public final static String MCS_LOCK = "mcs-lock";