Home.md

@@ -24,4 +24,5 @@ int sleep(int n)
 }
 ```
 
+![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/bug-main-no-merge.svg)
 ![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/bug-main.svg)
\ No newline at end of file