WaitingQueue Correctness tests for RCR. FAKE mlp_lock.* and RuntimeConflictResolver...
authorstephey <stephey>
Sun, 26 Sep 2010 05:08:24 +0000 (05:08 +0000)
committerstephey <stephey>
Sun, 26 Sep 2010 05:08:24 +0000 (05:08 +0000)
commit99cd465fb5335cffa54fe2072d462ead18bd7170
tree868d5323820db3ff7a13373574c3b2e4d79025e5
parentff72d642da2ccfceee015bf69c03f3eecdc6ec8d
WaitingQueue Correctness tests for RCR. FAKE mlp_lock.* and RuntimeConflictResolver.* are included so that the waitingQueue can be tested without compiling/including the rest of the project
Robust/src/Tests/mlp/stephen/Testing_WaitingQueue/RuntimeConflictResolver.c [new file with mode: 0644]
Robust/src/Tests/mlp/stephen/Testing_WaitingQueue/RuntimeConflictResolver.h [new file with mode: 0644]
Robust/src/Tests/mlp/stephen/Testing_WaitingQueue/WaitingQueue.c [new file with mode: 0644]
Robust/src/Tests/mlp/stephen/Testing_WaitingQueue/WaitingQueue.h [new file with mode: 0644]
Robust/src/Tests/mlp/stephen/Testing_WaitingQueue/WaitingQueueTest.c [new file with mode: 0644]
Robust/src/Tests/mlp/stephen/Testing_WaitingQueue/mlp_lock.c [new file with mode: 0644]
Robust/src/Tests/mlp/stephen/Testing_WaitingQueue/mlp_lock.h [new file with mode: 0644]