File[] srcDeque = {
new File(homeDir + "/benchmark/chase-lev-deque-bugfix/deque.c"),
new File(homeDir + "/benchmark/chase-lev-deque-bugfix/main.c"),
+ new File(homeDir + "/benchmark/chase-lev-deque-bugfix/testcase.c"),
new File(homeDir + "/benchmark/chase-lev-deque-bugfix/deque.h") };
File[] srcMCSLock = {