1#! /bin/sh
2#
3# BDD check:
4#   Load BDDs
5#   Make some operations
6#   Store BDDs
7#
8
9EXE=@EXEEXT@
10srcdir=@top_srcdir@
11where=${srcdir}/dddmp/exp
12dest=.
13exitval=0
14
15echo "---------------------------------------------------------------------------"
16echo "----------------------- TESTING basic Load/Store ... ----------------------"
17echo "---------------------------------------------------------------------------"
18../testdddmp$EXE << END
19mi
2050
21hlb
22${where}/0or1.bdd
23bl
24${where}/0.bdd
250
26bl
27${where}/1.bdd
281
29op
30or
310
321
332
34bs
35${dest}/0or1.bdd.tmp
362
37bl
38${where}/2.bdd
392
40bl
41${where}/3.bdd
423
43op
44and
452
463
474
48bs
49${dest}/2and3.bdd.tmp
504
51hlb
52${where}/4xor5.bdd
53bl
54${where}/4.bdd
554
56bl
57${where}/5.bdd
585
59op
60xor
614
625
636
64bs
65${dest}/4xor5.bdd.tmp
666
67mq
68quit
69END
70test $? != 1 && exitval=1
71echo "----------------------------- ... RESULTS ... -----------------------------"
72diff --strip-trailing-cr --brief ${where}/0or1.bdd ${dest}/0or1.bdd.tmp
73test $? != 0 && exitval=1
74diff --strip-trailing-cr --brief ${where}/2and3.bdd ${dest}/2and3.bdd.tmp
75test $? != 0 && exitval=1
76diff --strip-trailing-cr --brief ${where}/4xor5.bdd ${dest}/4xor5.bdd.tmp
77test $? != 0 && exitval=1
78echo "-------------------------------- ... END ----------------------------------"
79rm -f ${dest}/0or1.bdd.tmp ${dest}/2and3.bdd.tmp ${dest}/4xor5.bdd.tmp
80exit $exitval
81