... | ... | @@ -79,3 +79,26 @@ int main() |
|
|
|
|
|
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/common-final-segment-main-no-merge.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/common-final-segment-main-no-merge-highres.svg)
|
|
|
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/common-final-segment-main.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/common-final-segment-main-highres.svg)
|
|
|
|
|
|
|
|
|
|
|
|
## Code with common initial and final segments
|
|
|
|
|
|
```c
|
|
|
int main() {
|
|
|
x = TERM.readInt();
|
|
|
LED3.switchOn();
|
|
|
if( x <= 5 ) {
|
|
|
LED1.switchOn();
|
|
|
LED1.switchOff();
|
|
|
} else {
|
|
|
LED2.switchOn();
|
|
|
LED2.switchOff();
|
|
|
}
|
|
|
LED3.switchOff();
|
|
|
return 0;
|
|
|
}
|
|
|
```
|
|
|
|
|
|
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/split-and-merge-main-no-merge.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/split-and-merge-main-no-merge-highres.svg)
|
|
|
[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/split-and-merge-main.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/split-and-merge-main-highres.svg) |