Update LineFollower authored by Markus Klinik's avatar Markus Klinik
...@@ -47,3 +47,5 @@ int LOW = 0; ...@@ -47,3 +47,5 @@ int LOW = 0;
int HIGH = 1; int HIGH = 1;
``` ```
[![](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