Variable result table pruning is buggy, remove for now, also adding improved tests...
[IRC.git] / Robust / src / Tests / mlp / tinyTest / test.java
1
2 public class Test {
3
4   public static void main( String args[] ) {        
5     int x = Integer.parseInt( args[0] );
6     doSomeWork( x );
7   }
8
9   public static void doSomeWork( int x ) {
10     for( int i = 0; i < x; ++i ) {
11       sese calc {
12         int sum = 0;    
13         for( int j = 0; j <= i; ++j ) {
14           sum = calculateStuff( sum, 1, 0 );
15         }       
16       }            
17       sese forceVirtualReal {
18         if( i % 3 == 0 ) {
19           sum = sum + (i % 20);
20         }
21       }      
22       if( i % 2 == 0 ) {
23         sese change {
24           for( int k = 0; k < i*2; ++k ) {
25             sum = calculateStuff( sum, k, 1 );
26           }
27           sum = sum + 1;
28         }       
29         
30         for( int l = 0; l < 3; ++l ) {
31           sum = calculateStuff( sum, 2, 2 );
32         }
33       }      
34       sese prnt {
35         mightPrint( x, i, sum );
36       }
37     }
38   }
39
40   public static int calculateStuff( int sum, int num, int mode ) {
41     int answer = sum;
42     sese makePlaceholderStallAfter {
43       sum = sum + 1;
44     }
45     sum = sum + 1;
46     if( mode == 0 ) {
47       sese mode1 {
48         answer = sum + num;
49       }
50     } else if( mode == 1 ) {
51       sese mode2 {
52         answer = sum + (num/2);
53       }
54     } else if( mode == 2 ) {
55       sese mode3 {
56         answer = sum + (num/2);
57       }
58     }    
59
60     return answer;
61   }
62
63   public static void mightPrint( int x, int i, int sum ) {
64     if( i == x - 1 ) {
65       System.out.println( "sum of integers 0-"+i+"("+x+") is "+sum );
66     }
67   }
68 }