README.eqv

   1 For each program do
   2
   3         - Parse the c file
   4
   5                 c2pdg $program.c
   6
   7         - Perform dependence analysis
   8
   9                 da -t flow,output -A -i $program.yaml
  10
  11 Check the equivalence
  12
  13         eqv program1_da.yaml program2_da.yaml