3 # Check CNF (short check - only NodeByNode method involved):
5 # Store corresponding CNF
7 # Store corresponding BDD
8 # Compare original and final BDDs
11 echo "---------------------------------------------------------------------------"
12 echo "--------------------- TESTING Load BDD and Store CNF ----------------------"
13 echo "---------------------------------------------------------------------------"
14 ./../testdddmp << END1
30 echo "--------------------- TESTING Load CNF and Store BDD ----------------------"
31 ./../testdddmp << 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 ----------------------------------"