-// 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[] 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/testcase1.c"),
+ new File(homeDir + "/benchmark/chase-lev-deque-bugfix/testcase2.c"),
+ new File(homeDir + "/benchmark/chase-lev-deque-bugfix/deque.h") };