a test that shows our analysis doesn't always terminate
[IRC.git] / Robust / src / Tests / ArrayInitializerTest.java
1 public class ArrayInitializerTest {
2   static public void main( String[] args ) {
3     
4     int[] a = { 1, 2, 3 };
5
6     System.out.println( "a[2] should be 3: "+a[2] );
7   }
8 }