comparison run/invariant_28.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
16 16
17 public static void check(){ 17 public static void check(){
18 status++; 18 status++;
19 } 19 }
20 20
21 invariant{ 21 invariant(){
22 check(); 22 check();
23 inv++; 23 inv++;
24 } 24 }
25 } 25 }
26 26