-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtest2.act
64 lines (56 loc) · 936 Bytes
/
test2.act
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
actor A(5){
knownactors {
B b;
}
actorvars {
int i;
int j;
int k;
boolean o1;
boolean o2;
}
msghandler initial() {
}
msghandler forTest(int k){
for(i=0; i < 5; i = i + 1){
if(i == 4){
j = j*k;
}
for(j=0;j<9;j= j+1){
if(k==6){
break;
}
o1 = (i==j);
continue;
for(k=10;k>6;k = k-1){
if(k == 8){
continue;
}
else{
o1 = !o1;
}
}
o1 = o1 && o1;
continue;
}
break;
}
}
}
actor B(2){
knownactors {
A a;
}
actorvars {
int i;
int j;
}
msghandler initial() {
j = i--;
i = ++j;
}
}
main {
A a(b):();
B b(a):();
}