Robust/src/Tests/OwnershipAnalysisTest/README

   1 test01
   2         This test program contains many tasks that
   3 individually illustrate the correctness of different
   4 ownership analysis elements.  The program source code
   5 includes comments that describe what the final ownership
   6 graphs for each task should be.  These are sort of like
   7 unit tests for the individual operations performed during
   8 ownership analysis.
   9
  10 test02
  11         This test program contains many tasks that are
  12 named to indicate whether they purposefully create aliases
  13 or not.  This test comes from the top-down approach to see
  14 that the individual operations of the ownership analysis
  15 work together to produce the correct results.
  16
  17 testGraph
  18         This test program puts some ownership graph
  19 objects and some supporting data in a vacuum to test
  20 the critical merge() and equals() members.