Changes

Page history
Update Home authored by Markus Klinik's avatar Markus Klinik
Hide whitespace changes
Inline Side-by-side
Home.md
View page @ b54e4bfc
...@@ -24,10 +24,4 @@ int sleep(int n) ...@@ -24,10 +24,4 @@ int sleep(int n)
} }
``` ```
![bug-main.svg](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/bug-main-no-merge.svg "Title Text") ![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/bug-main-no-merge.svg)
\ No newline at end of file
![bug-main.svg](uploads/e3ec3e580e271511811404c9d9bf9c75/bug-main.svg)
![test](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/bug-main.svg "blah")
![blah](https://www.cs.ru.nl/~cynthiakop/experiments/eca/skylines/bug-main-no-merge.svg "bar")
\ No newline at end of file