Update Home authored by Markus Klinik's avatar Markus Klinik
......@@ -24,6 +24,6 @@ int sleep(int n)
}
```
![foo](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/bug-main.svg "Title Text")
![foo](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/bug-main-no-merge.svg "Title Text")
![blah](https://www.cs.ru.nl/~cynthiakop/experiments/eca/skylines/bug-main-no-merge.svg "bar")
\ No newline at end of file