From 7361a4712c89fe2186bd048879bd42dd9b8a3510 Mon Sep 17 00:00:00 2001 From: Yiannis Charalambous Date: Thu, 27 Jun 2024 10:51:48 +0100 Subject: [PATCH] Updated framework image in README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 5b21541..d884f80 100644 --- a/README.md +++ b/README.md @@ -4,7 +4,7 @@ AI Augmented ESBMC processing. Passes the output from ESBMC to an AI model that This is an area of active research. -![ESBMC-AI Visual Abstract](https://github.com/Yiannis128/esbmc-ai/assets/9535618/1b51c57f-a769-4067-abd9-e81de5e7506b) +![ESBMC-AI Visual Abstract](docs/images/esbmc-ai_framework.png) ## Demonstration