Update quote test to support test execution

core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java

@@ -87,7 +87,7 @@ public void ExpressionQuote() throws IOException, InterruptedException,
 			CMakeGenerateException
 	{
 		generate(getPath("expressions/ExpressionQuote.vdmrt"));
-		compileAndTest();
+		compileAndTest(getTestCppFile("quote/ExpressionQuote_Tests.cpp"));
 	}
 
 	@ConditionalIgnore(condition = HasVdmLib.class)

core/vdm2c/src/test/resources/native/quote/ExpressionQuote_Tests.cpp

@@ -0,0 +1,27 @@
+/*
+ * ExpressionsSeq_Tests.cpp
+ *
+ *  Created on: Jan 10, 2016
+ *      Author: pvj
+ */
+
+
+#include "gtest/gtest.h"
+
+extern "C"
+{
+#include "Vdm.h"
+#include <stdio.h>
+#include "ExpressionQuote.h"
+}
+
+#define CHECK(methodId,args...) TVP c= _Z15ExpressionQuoteEV(NULL);\
+TVP res=CALL_FUNC(ExpressionQuote,ExpressionQuote,c,methodId,args);\
+EXPECT_EQ (true,equals(newQuote(QUOTE_Q2),res));\
+vdmFree(res);\
+vdmFree(c)
+
+TEST(ExpressionQuote, op)
+{
+	CHECK(CLASS_ExpressionQuote__Z2opE2YQ1,newQuote(QUOTE_Q2));
+}