# Auto-generated by ESBMC 8.1.0
cmake_minimum_required(VERSION 3.10)
project(ESBMCGeneratedTests C)

enable_testing()

option(ENABLE_COVERAGE "Enable coverage reporting" OFF)
if(ENABLE_COVERAGE AND CMAKE_C_COMPILER_ID MATCHES "GNU|Clang")
  add_compile_options(-O0 -g --coverage)
  add_link_options(--coverage)
endif()

# Each test case is compiled with the original source + test case implementation
add_executable(test_case_1 main.c test_case_1.c)
add_test(NAME test_case_1 COMMAND test_case_1)
target_compile_options(test_case_1 PRIVATE -include ${CMAKE_CURRENT_SOURCE_DIR}/esbmc_verifier.h)

add_executable(test_case_2 main.c test_case_2.c)
add_test(NAME test_case_2 COMMAND test_case_2)
target_compile_options(test_case_2 PRIVATE -include ${CMAKE_CURRENT_SOURCE_DIR}/esbmc_verifier.h)

add_executable(test_case_3 main.c test_case_3.c)
add_test(NAME test_case_3 COMMAND test_case_3)
target_compile_options(test_case_3 PRIVATE -include ${CMAKE_CURRENT_SOURCE_DIR}/esbmc_verifier.h)

add_executable(test_case_4 main.c test_case_4.c)
add_test(NAME test_case_4 COMMAND test_case_4)
target_compile_options(test_case_4 PRIVATE -include ${CMAKE_CURRENT_SOURCE_DIR}/esbmc_verifier.h)

add_executable(test_case_5 main.c test_case_5.c)
add_test(NAME test_case_5 COMMAND test_case_5)
target_compile_options(test_case_5 PRIVATE -include ${CMAKE_CURRENT_SOURCE_DIR}/esbmc_verifier.h)

