Robust/src/Analysis/Disjoint/UnitTests/CanonicalTest.java

   1 package Analysis.Disjoint.UnitTests;
   2
   3 import IR.*;
   4 import IR.Flat.*;
   5 import java.util.*;
   6 import java.io.*;
   7
   8 import Analysis.Disjoint.*;
   9
  10
  11 public class CanonicalTest {
  12
  13   private static void check( String testName, ReachState expected, ReachState actual ) {
  14     System.out.print( testName + "... " );
  15     if( expected.equals( actual ) ) {
  16       System.out.println( "passed" );
  17     } else {
  18       System.out.println( "FAILED" );
  19     }
  20   }
  21
  22   public static void main( String[] args ) {
  23     ReachTuple a    = ReachTuple.factory( 1, false, ReachTuple.ARITY_ONE, false );
  24     ReachTuple aooc = ReachTuple.factory( 1, false, ReachTuple.ARITY_ONE, true );
  25     ReachState state1 = ReachState.factory( a, aooc );
  26     ReachState state2 = ReachState.factory( a, aooc );
  27     check( "a test", state1, state2 );
  28   }
  29 }