distr/dddmp/exp/test3.out

   1 rm: No match.
   2 ---------------------------------------------------------------------------
   3 ----------------------- TESTING basic Load/Store ... ----------------------
   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.bdd ...
   7 TestDddmp> File : Which BDDs [0..19]: Loading 1.bdd ...
   8 TestDddmp> Operation [or,and,xor,!,buf(=)] : Source1 [0..19]: Source2 [0..19]: Destination [0..19]: TestDddmp> File : Which BDDs [0..19]: Storing 0or1.bdd.tmp ...
   9 TestDddmp> File : Which BDDs [0..19]: Loading 2.bdd ...
  10 TestDddmp> File : Which BDDs [0..19]: Loading 3.bdd ...
  11 TestDddmp> Operation [or,and,xor,!,buf(=)] : Source1 [0..19]: Source2 [0..19]: Destination [0..19]: TestDddmp> File : Which BDDs [0..19]: Storing 2and3.bdd.tmp ...
  12 TestDddmp> File : TestDddmp> File : Which BDDs [0..19]: Loading 4.bdd ...
  13 TestDddmp> File : Which BDDs [0..19]: Loading 5.bdd ...
  14 TestDddmp> Operation [or,and,xor,!,buf(=)] : Source1 [0..19]: Source2 [0..19]: Destination [0..19]: TestDddmp> File : Which BDDs [0..19]: Storing 4xor5.bdd.tmp ...
  15 TestDddmp> Quitting CUDD Manager.
  16 TestDddmp> End of test.
  17 ----------------------------- ... RESULTS ... -----------------------------
  18 -------------------------------- ... END ----------------------------------