From b08fecebda8f5ea472e2f4fd6e9e96ca0dd53cad Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rafael=20S=C3=A1=20Menezes?= Date: Mon, 1 Jul 2024 15:21:48 +0100 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index ae48e78..c54d920 100644 --- a/README.md +++ b/README.md @@ -87,7 +87,7 @@ int main() {__ESBMC_assert(0, "0"); I want to keep the dependencies at a minimum. So far, the required dependencies are: -- LLVM/Clang > 11 +- LLVM/Clang >= 14 - fmt - clang-format