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