75950664a7
Summary: This diff splits single node and distributed storage from each other. Currently all of the storage code is copied into two directories (one single node, one distributed). The logic used in the storage implementation isn't touched, it will be refactored in following diffs. To clean the working directory after this diff you should execute: ``` rm database/state_delta.capnp rm database/state_delta.hpp rm storage/concurrent_id_mapper_rpc_messages.capnp rm storage/concurrent_id_mapper_rpc_messages.hpp ``` Reviewers: teon.banek, buda, msantl Reviewed By: teon.banek, msantl Subscribers: teon.banek, pullbot Differential Revision: https://phabricator.memgraph.io/D1625
23 lines
1.1 KiB
CMake
23 lines
1.1 KiB
CMake
set(test_prefix memgraph__property_based__)
|
|
|
|
add_custom_target(memgraph__property_based)
|
|
|
|
function(add_property_based_test test_cpp)
|
|
# get exec name (remove extension from the abs path)
|
|
get_filename_component(exec_name ${test_cpp} NAME_WE)
|
|
set(target_name ${test_prefix}${exec_name})
|
|
add_executable(${target_name} ${test_cpp})
|
|
# OUTPUT_NAME sets the real name of a target when it is built and can be
|
|
# used to help create two targets of the same name even though CMake
|
|
# requires unique logical target names
|
|
set_target_properties(${target_name} PROPERTIES OUTPUT_NAME ${exec_name})
|
|
target_link_libraries(${target_name} gtest gtest_main)
|
|
target_link_libraries(${target_name} rapidcheck rapidcheck_gtest)
|
|
set(output_path ${CMAKE_BINARY_DIR}/test_results/unit/${target_name}.xml)
|
|
add_test(${target_name} ${exec_name} --gtest_output=xml:${output_path})
|
|
add_dependencies(memgraph__property_based ${target_name})
|
|
endfunction(add_property_based_test)
|
|
|
|
add_property_based_test(random_graph.cpp)
|
|
target_link_libraries(${test_prefix}random_graph mg-single-node kvstore_dummy_lib)
|