Automate1 Correction
-
Upload
vinot-bernard -
Category
Spiritual
-
view
385 -
download
4
description
Transcript of Automate1 Correction
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST1 I=0
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST1 I=0
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST1 I=1
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST1 I=1
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST1 I=2
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST1 I=2
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST1 I=3
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=3
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=3
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=3
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=3
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=3
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=3
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=3
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=3
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=3
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=4
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=4
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=4
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=6
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST3 I=6
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST3 I=6
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST3 I=6
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST3 I=6
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=6
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=6
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=6
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=6
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=4
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=4
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=4
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=4
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=4
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=4
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=5
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=5
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=5
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST2 I=6
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=6
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=6
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=6
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
ST4 I=6
ST1
entry: i = 0exit: i++
ST2
entry: i++exit: i++
on E4: i ++
E1 / i++
E1
ST3ST4
on E2: i = i - 2
E3[ i == 5 ]
E2
E1
E1
E3
E3
E1E3E1E3E1E2E1E2
E3
I=6
E1E3E1E3E1E2E1E2
E3
I=6