distr/dddmp/exp/test6.script

   1 # !/bin/sh
   2 #
   3 # Check CNF (short check - only NodeByNode method involved):
   4 #   Load BDDs
   5 #   Store corresponding CNF
   6 #   Read CNF
   7 #   Store corresponding BDD
   8 #   Compare original and final BDDs
   9 #
  10 rm -f *.tmp*
  11 echo "---------------------------------------------------------------------------"
  12 echo "--------------------- TESTING Load BDD and Store CNF ----------------------"
  13 echo "---------------------------------------------------------------------------"
  14 ./../testdddmp << END1
  15 mi
  16 150
  17 hlc
  18 4.cnf.bis
  19 bl
  20 4.bdd
  21 0
  22 cs
  23 4.cnf.tmp
  24 0
  25 N
  26 100
  27 mq
  28 quit
  29 END1
  30 echo "--------------------- TESTING Load CNF and Store BDD ----------------------"
  31 ./../testdddmp << END2
  32 mi
  33 150
  34 hlc
  35 4.cnf.bis
  36 cl
  37 4.cnf.tmp
  38 0
  39 hw
  40 bs
  41 4.bdd.tmp
  42 0
  43 mq
  44 quit
  45 END2
  46 echo "----------------------------- ... RESULTS ... -----------------------------"
  47 diff --brief 4.cnf.bis 4.cnf.tmp
  48 diff --brief 4.bdd.bis1 4.bdd.tmp
  49 echo "-------------------------------- ... END ----------------------------------"
  50 rm -f *.*.tmp