diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 47199f2c..c7c30691 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -19,6 +19,7 @@ set(TAU_HEADERS satisfiability.h tau.h iterators.h + executor.h ) set(TAU_SOURCES diff --git a/src/executor.h b/src/executor.h new file mode 100644 index 00000000..c0ee13b6 --- /dev/null +++ b/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__ \ No newline at end of file diff --git a/tests/integration/CMakeLists.txt b/tests/integration/CMakeLists.txt index f82e9f62..ced05aee 100644 --- a/tests/integration/CMakeLists.txt +++ b/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) diff --git a/tests/integration/test_integration-executor.cpp b/tests/integration/test_integration-executor.cpp new file mode 100644 index 00000000..8a4a5af3 --- /dev/null +++ b/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 ); + } +} diff --git a/tests/unit/CMakeLists.txt b/tests/unit/CMakeLists.txt index 77e7fa72..3d4a1dab 100644 --- a/tests/unit/CMakeLists.txt +++ b/tests/unit/CMakeLists.txt @@ -22,6 +22,7 @@ set(TESTS traversal tau satisfiability + executor ) foreach(X IN LISTS TESTS) diff --git a/tests/unit/test_executor.cpp b/tests/unit/test_executor.cpp new file mode 100644 index 00000000..3fc4d46b --- /dev/null +++ b/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 ); + } +} \ No newline at end of file