`datalog-cpp` uses the[CMake](www.cmake.org) build tool to generate build files for other build systems. Currently, building using clang and gcc with Makefiles are supported.

You`valgrind` installed to run memory checks:`sudo apt install valgrind`

To run all regression tests:

From the command line inside a git clone, run the following:

set(CMAKE_CXX_STANDARD 17)

include (CTest)

add_library(tests_mainSTATIC ../tests/tests_main.cpp)

target_include_directories(types_testPUBLIC${CMAKE_CURRENT_SOURCE_DIR})

target_link_libraries(types_test tests_main)

target_compile_definitions(types_testPUBLICUNIX)

add_test(types_test_memory types_test)

add_executable(variable_test ../tests/variable_test.cpp)

target_include_directories(variable_testPUBLIC${CMAKE_CURRENT_SOURCE_DIR})

target_link_libraries(variable_test tests_main)

target_compile_definitions(variable_testPUBLICUNIX)

add_test(variable_test_memory variable_test)

add_executable(tuple_binding_test ../tests/tuple_binding_test.cpp)

target_include_directories(tuple_binding_testPUBLIC${CMAKE_CURRENT_SOURCE_DIR})

target_link_libraries(tuple_binding_test tests_main)

target_compile_definitions(tuple_binding_testPUBLICUNIX)

add_test(tuple_binding_test_memory tuple_binding_test)

set -e

../build/types_test

../build/variable_test

../build/tuple_binding_test

../build/tuple_binding_test

cd ../build; ctest --overwrite MemoryCheckCommandOptions="--leak-check=full --error-exitcode=1" -T memcheck

return returnVal;

}

boolleakTest() {

double* leak =newdouble[10];

std::cout <<"Hello!" << std::endl;

returntrue;

}

TEST_CASE("tuple binding test","[tuple-binding]")

{

REQUIRE(unbindTest());

REQUIRE(leakTest());

}