Update LineFollower authored by Markus Klinik's avatar Markus Klinik
......@@ -46,4 +46,6 @@ void delay(int ms) {
int LOW = 0;
int HIGH = 1;
```
\ No newline at end of file
```
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/robot-optimized-main.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/robot-optimized-main-highres.svg)
\ No newline at end of file