distr/dddmp/exp/test5.out

   1 rm: No match.
   2 ---------------------------------------------------------------------------
   3 --------------------- TESTING Load ADD and Store ADD ----------------------
   4 ---------------------------------------------------------------------------
   5 #./../testdddmp Version 2.0.2 (use command help)
   6 TestDddmp> Number of Variables: TestDddmp> File : TestDddmp> File : Which BDDs [0..19]: Loading 0.add ...
   7 Load:
   8 -01  2
   9 -1-  1
  10 TestDddmp> File : Which BDDs [0..19]: Storing 0.add.tmp ...
  11 TestDddmp> Quitting CUDD Manager.
  12 TestDddmp> Number of Variables: TestDddmp> File : TestDddmp> File : Which BDDs [0..19]: Loading 1.add ...
  13 Load:
  14 -0001---------------------------------------------  1
  15 -0010---------------------------------------------  2
  16 -0100---------------------------------------------  1
  17 -0101---------------------------------------------  2
  18 -0111---------------------------------------------  1
  19 -1000---------------------------------------------  2
  20 -1010---------------------------------------------  1
  21 -1011---------------------------------------------  2
  22 -1101---------------------------------------------  1
  23 -1110---------------------------------------------  2
  24 TestDddmp> File : Which BDDs [0..19]: Storing 1.add.tmp ...
  25 TestDddmp> Quitting CUDD Manager.
  26 TestDddmp> End of test.
  27 ----------------------------- ... RESULTS ... -----------------------------
  28 -------------------------------- ... END ----------------------------------