Merge pull request #137 from esbmc/dev

Changed framework image in README.md
esbmc · Jun 27, 2024 · 154b6e8 · 154b6e8
2 parents 403f3ee + 7361a47
commit 154b6e8
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git 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
 

diff --git a/docs/images/esbmc-ai_framework.png b/docs/images/esbmc-ai_framework.png