if(NOT WIN32)
new_unit_test(python_annotation_test "python_annotation_test.cpp" "pythonfrontend;util_esbmc;bigint;nlohmann_json::nlohmann_json")
endif()
new_unit_test(symbol_id_test "symbol_id_test.cpp" "pythonfrontend")
new_unit_test(python_class_test "python_class_test.cpp" "pythonfrontend")
new_unit_test(complex_type_test "complex_type_test.cpp" "pythonfrontend;util_esbmc;bigint")
new_unit_test(irep2_type_roundtrip_test "irep2_type_roundtrip_test.cpp" "pythonfrontend;util_esbmc;bigint")
new_unit_test(function_call_cache_test "function_call_cache_test.cpp" "pythonfrontend")
new_unit_test(json_utils_alias_test "json_utils_alias_test.cpp" "pythonfrontend")
if(NOT WIN32)
new_unit_test(function_call_expr_error_test "function_call_expr_error_test.cpp" "pythonfrontend;util_esbmc;bigint")
endif()
