new_unit_test(config_file_test "config_file_test.cpp" "util_esbmc")
new_unit_test(xmltest "xml.test.cpp" "util_esbmc")
new_unit_test(stdexprtest "std_expr.test.cpp" "util_esbmc")
new_unit_test(symboltest "symbol.test.cpp" "util_esbmc")
new_unit_test(string2integertest "string2integer.test.cpp" "util_esbmc")
new_unit_test(replace_symboltest "replace_symbol.test.cpp" "util_esbmc")
new_unit_test(ireptest "irep.test.cpp" "util_esbmc")
new_unit_test(filesystemtest "filesystem.test.cpp" "filesystem")
new_unit_test(ieeefloattest "ieee_float.test.cpp" "util_esbmc")
new_unit_test(string_pool_test "string_pool.test.cpp" "string_pool")
new_unit_test(usr_utilstest "usr_utils.test.cpp" "usr_utils")
new_unit_test(simplify2ttest "simplify2t.test.cpp" "util_esbmc")
new_unit_test(base_typetest "base_type.test.cpp" "util_esbmc")
new_unit_test(cwe_mapping_test "cwe_mapping.test.cpp" "util_esbmc")
new_unit_test(fallible_calls_test "fallible_calls.test.cpp" "util_esbmc")
new_unit_test(migratetest "migrate.test.cpp" "util_esbmc")
new_unit_test(arith_tools_test "arith_tools.test.cpp" "util_esbmc")
# Running the fuzzer normally would overflow the /tmp with files.
new_fast_fuzz_test(filesystemfuzz "filesystem.fuzz.cpp" "filesystem")
