distr/dddmp/exp/test2.script

   1 # !/bin/sh
   2 #
   3 # Check BDDs from DDDMP-1.0:
   4 #   Load an Array of BDDs from DDDMP-1.0
   5 #   Store them
   6 #
   7 rm -f *.*.tmp
   8 echo "---------------------------------------------------------------------------"
   9 echo "-------------------- TESTING Load BDD from DDDMP-1.0 ----------------------"
  10 echo "---------------------------------------------------------------------------"
  11 ./../testdddmp << END
  12 mi
  13 10
  14 hlb
  15 s27deltaDddmp1.bdd
  16 hw
  17 bal
  18 s27deltaDddmp1.bdd
  19 0
  20 bas
  21 s27deltaDddmp1.bdd.tmp
  22 0
  23 mq
  24 quit
  25 END
  26 echo "----------------------------- ... RESULTS ... -----------------------------"
  27 diff --brief s27deltaDddmp1.bdd.tmp s27deltaDddmp1.bdd.bis
  28 echo "-------------------------------- ... END ----------------------------------"
  29 rm -f *.*.tmp
  30