|
|
This page is an accompaniment to the paper *Skylines for Symbolic Energy Consumption Analysis*. Below we present a number of SECA programs along with their skylines. An extended version of the paper and the implementation of the tool are also available.
|
|
|
|
|
|
## Line Follower Robot
|
|
|
|
|
|
A somewhat larger example, implementing a line follower robot.
|
|
|
See page [LineFollower](LineFollower).
|
|
|
|
|
|
## Code with a bug
|
|
|
|
|
|
```c
|
... | ... | |