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(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")
