projects
/
IRC.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
a test that shows our analysis doesn't always terminate
[IRC.git]
/
Robust
/
src
/
Tests
/
IncTest.java
1
public class IncTest {
2
3
public static void main(String str[]) {
4
int x[]=new int[20];
5
for(int i=0;i<10;) {
6
x[i++]++;
7
}
8
for(int i=0;i<20;i++) {
9
System.printInt(x[i]);
10
System.printString("\n");
11
}
12
System.printString("----------------\n");
13
14
x=new int[20];
15
for(int i=0;i<10;) {
16
x[++i]+=1;
17
}
18
for(int i=0;i<20;i++) {
19
System.printInt(x[i]);
20
System.printString("\n");
21
}
22
23
24
}
25
26
27
28
}