source: icGREP/icgrep-devel/cudd-2.5.1/dddmp/exp/test6.script @ 4597

Last change on this file since 4597 was 4597, checked in by nmedfort, 4 years ago

Upload of the CUDD library.

  • Property svn:executable set to *
File size: 981 bytes
Line 
1# !/bin/sh
2#
3# Check CNF (short check - only NodeByNode method involved):
4#   Load BDDs
5#   Store corresponding CNF
6#   Read CNF
7#   Store corresponding BDD
8#   Compare original and final BDDs
9#
10rm -f *.tmp*
11echo "---------------------------------------------------------------------------"     
12echo "--------------------- TESTING Load BDD and Store CNF ----------------------"
13echo "---------------------------------------------------------------------------"     
14./../testdddmp << END1
15mi
16150
17hlc
184.cnf.bis
19bl
204.bdd
210
22cs
234.cnf.tmp
240
25N
26100
27mq
28quit
29END1
30echo "--------------------- TESTING Load CNF and Store BDD ----------------------"
31./../testdddmp << END2
32mi
33150
34hlc
354.cnf.bis
36cl
374.cnf.tmp
380
39hw
40bs
414.bdd.tmp
420
43mq
44quit
45END2
46echo "----------------------------- ... RESULTS ... -----------------------------"
47diff --brief 4.cnf.bis 4.cnf.tmp
48diff --brief 4.bdd.bis1 4.bdd.tmp
49echo "-------------------------------- ... END ----------------------------------"
50rm -f *.*.tmp   
Note: See TracBrowser for help on using the repository browser.