comparison run/invariant_27.d @ 1559:ec5e144583ea

D1 -> D2 : 1/N
author thomask
date Sun, 19 Aug 2007 19:11:54 +0000
parents 1e6afb94ce6d
children
comparison
equal deleted inserted replaced
1558:d40d75fcd5c5 1559:ec5e144583ea
20 20
21 private void middle(){ 21 private void middle(){
22 check(); 22 check();
23 } 23 }
24 24
25 invariant{ 25 invariant(){
26 middle(); 26 middle();
27 inv++; 27 inv++;
28 } 28 }
29 } 29 }
30 30