Skip to content

Commit

Permalink
Updated framework image in README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
Yiannis128 committed Jun 27, 2024
1 parent 1e55a23 commit 7361a47
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit 7361a47

Please sign in to comment.