Update LineFollower authored by Markus Klinik's avatar Markus Klinik
......@@ -49,4 +49,8 @@ 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)
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/robot-optimized-loop.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/robot-optimized-loop-highres.svg)
\ No newline at end of file
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/robot-optimized-loop.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/robot-optimized-loop-highres.svg)
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/robot-optimized-MoveForward.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/robot-optimized-MoveForward-highres.svg)
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/robot-optimized-TurnLeft.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/robot-optimized-TurnLeft-highres.svg)
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/robot-optimized-TurnRight.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/robot-optimized-TurnRight-highres.svg)
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/robot-optimized-Stop.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/robot-optimized-Stop-highres.svg)
\ No newline at end of file