Changes
Page history
nested loops
authored
Feb 06, 2020
by
Markus Klinik
Show whitespace changes
Inline
Side-by-side
Home.md
View page @
c628d9fa
...
...
@@ -200,3 +200,32 @@ int main() {
[
](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/loop-alternating-main-no-merge-highres.svg)
[
](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/loop-alternating-main-highres.svg)
## A nested pair of loops
```
c
int
main
()
{
x
=
TERM
.
readInt
();
while
(
0
<=
x
&&
x
<=
1
)
{
y
=
TERM
.
readInt
();
while
(
0
<=
y
&&
y
<=
1
)
{
LED1
.
switchOn
();
LED1
.
switchOff
();
y
=
y
+
1
;
}
LED2
.
switchOn
();
LED2
.
switchOff
();
x
=
x
+
1
;
}
return
0
;
}
```
[
](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/nested-lops-main-no-merge-highres.svg)
[
](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/nested-lops-main-highres.svg)
