set (SYSTEM_TESTS_DIR "${CMAKE_CURRENT_SOURCE_DIR}")
macro(add_system_test name)
    set(USE_MOCK_COMMON TRUE)
    set(USE_MOCK_ENGINE TRUE)
    marabou_add_test(${SYSTEM_TESTS_DIR}/Test_${name} lp USE_MOCK_COMMON
        USE_MOCK_ENGINE "system")
endmacro()

add_system_test(acas)
add_system_test(incremental)
add_system_test(lp)
add_system_test(max)
add_system_test(mps)
add_system_test(relu)
add_system_test(sign)
add_system_test(Disjunction)
add_system_test(AbsoluteValue)
add_system_test(wsElimination)

file(COPY "${RESOURCES_DIR}/mps/lp_feasible_1.mps" DESTINATION ${CMAKE_BINARY_DIR})
file(COPY "${RESOURCES_DIR}/mps/lp_infeasible_1.mps" DESTINATION ${CMAKE_BINARY_DIR})
file(COPY ${ACAS_REGRESS_NET} DESTINATION ${CMAKE_BINARY_DIR})

add_custom_target(systemtests
  COMMAND ctest --output-on-failure -L "system" -j${CTEST_NTHREADS} $$ARGS
  DEPENDS build-tests)
