adding executor files to project

src/CMakeLists.txt

@@ -19,6 +19,7 @@ set(TAU_HEADERS
 	satisfiability.h
 	tau.h
 	iterators.h
+	executor.h
 )
 
 set(TAU_SOURCES

src/executor.h

@@ -0,0 +1,19 @@
+// LICENSE
+// This software is free for use and redistribution while including this
+// license notice, unless:
+// 1. is used for commercial or non-personal purposes, or
+// 2. used for a product which includes or associated with a blockchain or other
+// decentralized database technology, or
+// 3. used for a product which includes or associated with the issuance or use
+// of cryptographic or electronic currencies/coins/tokens.
+// On all of the mentioned cases, an explicit and written permission is required
+// from the Author (Ohad Asor).
+// Contact ohad@idni.org for requesting a permission. This license may be
+// modified over time by the Author.
+
+#ifdef __EXECUTOR_H__
+#define __EXECUTOR_H__
+
+
+
+# endif //__EXECUTOR_H__

tests/integration/CMakeLists.txt

@@ -7,6 +7,7 @@ set(TESTS
 	test_integration-nso_rr_execution
 	test_integration-gssotc_rr_execution
 	test_integration-tau1
+	test_integration-executor
 )
 
 foreach(N IN LISTS TESTS)

tests/integration/test_integration-executor.cpp

@@ -0,0 +1,24 @@
+// LICENSE
+// This software is free for use and redistribution while including this
+// license notice, unless:
+// 1. is used for commercial or non-personal purposes, or
+// 2. used for a product which includes or associated with a blockchain or other
+// decentralized database technology, or
+// 3. used for a product which includes or associated with the issuance or use
+// of cryptographic or electronic currencies/coins/tokens.
+// On all of the mentioned cases, an explicit and written permission is required
+// from the Author (Ohad Asor).
+// Contact ohad@idni.org for requesting a permission. This license may be
+// modified over time by the Author.
+
+#define DOCTEST_CONFIG_IMPLEMENT_WITH_MAIN
+
+#include "../../src/doctest.h"
+#include "../../src/executor.h"
+
+TEST_SUITE("executor") {
+
+	TEST_CASE("executor") {
+		CHECK( true );
+	}
+}

tests/unit/CMakeLists.txt

@@ -22,6 +22,7 @@ set(TESTS
 	traversal
 	tau
 	satisfiability
+	executor
 )
 
 foreach(X IN LISTS TESTS)

tests/unit/test_executor.cpp

@@ -0,0 +1,24 @@
+// LICENSE
+// This software is free for use and redistribution while including this
+// license notice, unless:
+// 1. is used for commercial or non-personal purposes, or
+// 2. used for a product which includes or associated with a blockchain or other
+// decentralized database technology, or
+// 3. used for a product which includes or associated with the issuance or use
+// of cryptographic or electronic currencies/coins/tokens.
+// On all of the mentioned cases, an explicit and written permission is required
+// from the Author (Ohad Asor).
+// Contact ohad@idni.org for requesting a permission. This license may be
+// modified over time by the Author.
+
+#define DOCTEST_CONFIG_IMPLEMENT_WITH_MAIN
+
+#include "../../src/doctest.h"
+#include "../../src/executor.h"
+
+TEST_SUITE("executor") {
+
+	TEST_CASE("executor") {
+		CHECK( true );
+	}
+}