comparison run/invariant_22.d @ 1559:ec5e144583ea

D1 -> D2 : 1/N
author thomask
date Sun, 19 Aug 2007 19:11:54 +0000
parents b8c0195059d9
children
comparison
equal deleted inserted replaced
1558:d40d75fcd5c5 1559:ec5e144583ea
14 14
15 private int g() { 15 private int g() {
16 return 1; 16 return 1;
17 } 17 }
18 18
19 invariant{ 19 invariant(){
20 assert(g()==1); 20 assert(g()==1);
21 } 21 }
22 } 22 }
23 23
24 int main(){ 24 int main(){