new_unit_test(loop-unroll-algorithms-test "loop_unroll.test.cpp" "test_goto_factory;gotoalgorithms;langapi")
new_unit_test(atomicity-check-test "atomicity_check.test.cpp" "test_goto_factory;clangcppfrontend;clibs;filesystem;langapi")
new_unit_test(goto-inline-test "goto_inline.test.cpp" "test_goto_factory;clangcppfrontend;clibs;filesystem;langapi")
new_unit_test(interval-template-test "interval_template.test.cpp" "gotoprograms")
new_unit_test(read-cbmc-goto-object-test "read_cbmc_goto_object.test.cpp" "mode_table_obj;gotoprograms;langapi")
target_compile_definitions(read-cbmc-goto-object-test PRIVATE CBMC_TEST_DATA_DIR="${CMAKE_CURRENT_SOURCE_DIR}/data")
new_unit_test(interval-analysis-test "interval_analysis.test.cpp" "test_goto_factory;gotoalgorithms;langapi")
new_unit_test(available-expressions-test "available_expressions.test.cpp" "test_goto_factory;gotoalgorithms;abstract-interpretation;langapi")
new_unit_test(interval-symex-guard-test "interval_symex_guard.test.cpp" "mode_table_obj;abstract-interpretation;langapi")
new_unit_test(k-path-spanning-test "k_path_spanning.test.cpp" "gotoprograms;langapi")
new_unit_test(rw-set-test "rw_set.test.cpp" "gotoprograms;pointeranalysis;solve")
new_unit_test(exception-typeid-test "exception_typeid.test.cpp" "test_goto_factory;clangcppfrontend;clibs;filesystem;langapi")
new_unit_test(remove-sideeffects-irep2-test "remove_sideeffects_irep2.test.cpp" "test_goto_factory;clangcppfrontend;clibs;filesystem;langapi")
