From e7111b286aab87c6b17b8fa202e4631038ea5a26 Mon Sep 17 00:00:00 2001
From: Marko Budiselic <marko.budiselic@memgraph.io>
Date: Fri, 30 Jun 2017 18:58:44 +0200
Subject: [PATCH] Property based tests registration.

Summary: Register property based tests to ctest.

Reviewers: matej.gradicek

Reviewed By: matej.gradicek

Subscribers: pullbot, buda

Differential Revision: https://phabricator.memgraph.io/D517
---
 tests/property_based/CMakeLists.txt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tests/property_based/CMakeLists.txt b/tests/property_based/CMakeLists.txt
index d3c9e0580..3f93c1572 100644
--- a/tests/property_based/CMakeLists.txt
+++ b/tests/property_based/CMakeLists.txt
@@ -29,4 +29,8 @@ foreach(test_cpp ${test_type_cpps})
     target_link_libraries(${target_name} gtest gtest_main gmock)
     target_link_libraries(${target_name} memgraph_lib rapidcheck)
 
+    # register test
+    set(output_path ${CMAKE_BINARY_DIR}/test_results/unit/${target_name}.xml)
+    add_test(${target_name} ${exec_name} --gtest_output=xml:${output_path})
+
 endforeach()