Skip to content

FORMUS3IC_LAS3 / embb

Go to a project
Commit 7c9dd335 by lucapegolotti
Options

Split test into internal functions and tests on embb structures

parent 654fbdf2
Inline Side-by-side
Showing with 9 additions and 1 deletions
linearizability_tester/CMakeLists.txt
...@@ -12,7 +12,15 @@ endif() ...@@ -12,7 +12,15 @@ endif()
# setting directories # setting directories
# link_directories(/home/lucapegolotti/embb/build) # link_directories(/home/lucapegolotti/embb/build)
include_directories(${CMAKE_CURRENT_SOURCE_DIR}/../base_cpp/include ${CMAKE_CURRENT_SOURCE_DIR}/../build/base_cpp/include ${CMAKE_CURRENT_SOURCE_DIR}/../base_c/include ${CMAKE_CURRENT_SOURCE_DIR}/../build/base_c/include ${CMAKE_CURRENT_SOURCE_DIR}/../containers_cpp/include ${CMAKE_CURRENT_SOURCE_DIR}/../build/containers_cpp/include) include_directories(
${CMAKE_CURRENT_SOURCE_DIR}/../base_cpp/include
${CMAKE_CURRENT_SOURCE_DIR}/../build/base_cpp/include
${CMAKE_CURRENT_SOURCE_DIR}/../base_c/include
${CMAKE_CURRENT_SOURCE_DIR}/../build/base_c/include
${CMAKE_CURRENT_SOURCE_DIR}/../containers_cpp/include
${CMAKE_CURRENT_SOURCE_DIR}/../build/containers_cpp/include
${CMAKE_CURRENT_SOURCE_DIR}/src
)
# setting libraries to link # setting libraries to link
......
linearizability_tester/lt.cc
This source diff could not be displayed because it is too large. You can view the blob instead.
linearizability_tester/src/linearizability_tester.h 0 → 100755
This source diff could not be displayed because it is too large. You can view the blob instead.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or sign in to comment