spec changes to deque

[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / codeGenerator / CodeGenerator.java

diff --git a/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java b/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java
index 89bc6a61e873550003362c87736b47628be9efb9..7ebc101385f6a7b8c2cc0ecc6123d23bea6f5fc5 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java
+++ b/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java
@@ -309,6 +309,7 @@ public class CodeGenerator {
                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 = {