Changes
Page history
common final segment
authored
Feb 06, 2020
by
Markus Klinik
Show whitespace changes
Inline
Side-by-side
Home.md
View page @
cdd583a8
...
...
@@ -47,3 +47,35 @@ int main() {
[
](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/common-initial-segment-main-no-merge-highres.svg)
[
](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/common-initial-segment-main-highres.svg)
## Code with common final segment
```
c
int
main
()
{
x
=
TERM
.
readInt
();
if
(
x
<=
5
)
{
LED1
.
switchOn
();
LED1
.
switchOff
();
}
else
{
LED2
.
switchOn
();
LED2
.
switchOff
();
}
LED1
.
switchOn
();
LED1
.
switchOff
();
LED2
.
switchOn
();
LED2
.
switchOff
();
return
0
;
}
```
[
](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/blob/master/code/website/common-final-segment-main-highres.svg)
