source: icGREP/icgrep-devel/cudd-2.5.1/dddmp/README.testdddmp @ 4597

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

Upload of the CUDD library.

File size: 2.2 KB
Line 
1README file for the test program of the DDDMP-2.0 package
2Revision: Version 2.0.2, February 01, 2004
3
4
5
6WHAT IS TESTDDDMP
7=================
8
9testdddmp is a test program for the dddmp package.
10Practically, it is a naive user interface to load, store and execute
11operations with BDDs.
12It is included to provide a sanity check for the installation of the
13package and an easy tool to play with BDDs and BDD on files.
14
15
16
17MAKE TESTDDDMP
18==============
19
20Run "make testdddmp".
21This should produce the testdddmp executable file.
22
23
24
25TEST DDDMP
26==========
27
28Run the runAllTest.script file in the exp directory.
29This should run all the test?.script files in the same directory.
30Each of them is specifically written to check a particular feature of
31the package (e.g., store and load of BDDs, store of CNF formulas and
32retrieval, etc.).
33Each test?.script should terminate with a comparison with a previously
34generated set of files, then with the following set of messages:
35
36Files 0or1.bdd and 0or1.bdd2 are identical
37Files 2and3.bdd and 2and3.bdd2 are identical
38...
39
40If so everything is OK.
41
42Notice that mismatches may be caused by the presence of CR - LF characters at
43the end of each BDD file line.
44
45
46
47WORK WITH DDDMPTEST
48===================
49
50To work with dddmptest (once the executable file has been built) it is enough
51to run it (no parameter is necessary).
52The help command print out the main commands available.
53For each command further inputs are eventually required on an interactive
54basis.
55BDDs and ADDs can be loaded from files by choosing the file name or they
56can be directly created (randomly for example).
57They can be maintained into the main memory trough an array of BDD pointers.
58Operations (logical and re-ordering) can be performed on any BDD into this
59array.
60Eventually any of them can be stored in a file giving the file name.
61BDDs can also be stored in a CNF format using three different possible
62solution to store them.
63
64
65
66FEEDBACK
67========
68
69Send feedback to:
70
71Gianpiero Cabodi and Stefano Quer
72Politecnico di Torino
73Dip. Automatica e Informatica
74C.so Duca degli Abruzzi 24
75I-10129  Torino
76Italy
77E-mail: {gianpiero.cabodi,stefano.quer}@polito.it
78WEB page: http://staff.polito.it/{gianpiero.cabodi,stefano.quer}
79
Note: See TracBrowser for help on using the repository browser.