emergency commit
[cl-cudd.git] / distr / dddmp / exp / test5.script
blob9676c944e496c76ceb42a97372639ce8e83acc18
1 # !/bin/sh 
3 # Check ADD:
4 #   Load an ADD
5 #   Store the same ADD
6 #   Compare the two
7 # (done twice on a small - 0.add - and a medium - 1.add - ADD).
9 rm -f *.tmp*
10 echo "---------------------------------------------------------------------------"
11 echo "--------------------- TESTING Load ADD and Store ADD ----------------------"
12 echo "---------------------------------------------------------------------------"     
13 ./../testdddmp << END1
16 hlb
17 0.add
19 0.add
22 0.add.tmp
27 hlb
28 1.add
30 1.add
33 1.add.tmp
36 quit
37 END1
38 echo "----------------------------- ... RESULTS ... -----------------------------"
39 diff --brief 0.add 0.add.tmp
40 diff --brief 1.add 1.add.tmp
41 echo "-------------------------------- ... END ----------------------------------"
42 rm -f *.*.tmp