distr/dddmp/exp/test3.script

   1 # !/bin/sh
   2 #
   3 # BDD check:
   4 #   Load BDDs
   5 #   Make some operations
   6 #   Store BDDs
   7 #
   8 rm -f *.*.tmp
   9 echo "---------------------------------------------------------------------------"
  10 echo "----------------------- TESTING basic Load/Store ... ----------------------"
  11 echo "---------------------------------------------------------------------------"
  12 ./../testdddmp << END
  13 mi
  14 50
  15 hlb
  16 0or1.bdd
  17 bl
  18 0.bdd
  19 0
  20 bl
  21 1.bdd
  22 1
  23 op
  24 or
  25 0
  26 1
  27 2
  28 bs
  29 0or1.bdd.tmp
  30 2
  31 bl
  32 2.bdd
  33 2
  34 bl
  35 3.bdd
  36 3
  37 op
  38 and
  39 2
  40 3
  41 4
  42 bs
  43 2and3.bdd.tmp
  44 4
  45 hlb
  46 4xor5.bdd
  47 bl
  48 4.bdd
  49 4
  50 bl
  51 5.bdd
  52 5
  53 op
  54 xor
  55 4
  56 5
  57 6
  58 bs
  59 4xor5.bdd.tmp
  60 6
  61 mq
  62 quit
  63 END
  64 echo "----------------------------- ... RESULTS ... -----------------------------"
  65 diff --brief 0or1.bdd 0or1.bdd.tmp
  66 diff --brief 2and3.bdd 2and3.bdd.tmp
  67 diff --brief 4xor5.bdd 4xor5.bdd.tmp
  68 echo "-------------------------------- ... END ----------------------------------"
  69 rm -f *.*.tmp