distr/dddmp/exp/test1.script

   1 # !/bin/sh
   2 #
   3 # Check Header Load/Store for BDD/ADD/CNFs:
   4 #   Load Header
   5 #   Write Information on Standard Output
   6 #
   7 rm -f *.*.tmp
   8 echo "---------------------------------------------------------------------------"
   9 echo "--------------------- TESTING Load and Write Header -----------------------"
  10 echo "---------------------------------------------------------------------------"
  11 ./../testdddmp << END
  12 mi
  13 50
  14 hlb
  15 4.bdd
  16 hw
  17 hlb
  18 0.add
  19 hw
  20 hlc
  21 4.cnf
  22 hw
  23 mq
  24 quit
  25 END
  26 echo "-------------------------------- ... END ----------------------------------"