Files
2026-10-25 08:31:08 -04:00

24 lines
920 B
CMake

cmake_minimum_required(VERSION 3.20)
project(rollback_policy LANGUAGES CXX)
set(CMAKE_CXX_EXTENSIONS OFF)
add_library(rollback-model simulation.cpp)
target_compile_features(rollback-model PUBLIC cxx_std_17)
if(CMAKE_CXX_COMPILER_ID MATCHES "GNU|Clang")
target_compile_options(rollback-model PRIVATE -Wall -Wextra -Wpedantic)
endif()
add_executable(rollback-simulate main.cpp)
target_link_libraries(rollback-simulate PRIVATE rollback-model)
include(CTest)
if(BUILD_TESTING)
add_executable(rollback-tests tests.cpp)
target_link_libraries(rollback-tests PRIVATE rollback-model)
add_test(NAME recovery-policy-invariants COMMAND rollback-tests)
add_test(NAME all-scenarios COMMAND rollback-simulate all)
add_test(NAME cli-help COMMAND rollback-simulate --help)
add_test(NAME cli-invalid COMMAND rollback-simulate invalid)
set_tests_properties(cli-invalid PROPERTIES WILL_FAIL TRUE)
endif()