source: icGREP/icgrep-devel/cudd-2.5.1/dddmp/exp/test3.out @ 4597

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

Upload of the CUDD library.

File size: 1.4 KB
Line 
1rm: No match.
2---------------------------------------------------------------------------
3----------------------- TESTING basic Load/Store ... ----------------------
4---------------------------------------------------------------------------
5#./../testdddmp Version 2.0.2 (use command help)
6TestDddmp> Number of Variables: TestDddmp> File : TestDddmp> File : Which BDDs [0..19]: Loading 0.bdd ...
7TestDddmp> File : Which BDDs [0..19]: Loading 1.bdd ...
8TestDddmp> Operation [or,and,xor,!,buf(=)] : Source1 [0..19]: Source2 [0..19]: Destination [0..19]: TestDddmp> File : Which BDDs [0..19]: Storing 0or1.bdd.tmp ...
9TestDddmp> File : Which BDDs [0..19]: Loading 2.bdd ...
10TestDddmp> File : Which BDDs [0..19]: Loading 3.bdd ...
11TestDddmp> Operation [or,and,xor,!,buf(=)] : Source1 [0..19]: Source2 [0..19]: Destination [0..19]: TestDddmp> File : Which BDDs [0..19]: Storing 2and3.bdd.tmp ...
12TestDddmp> File : TestDddmp> File : Which BDDs [0..19]: Loading 4.bdd ...
13TestDddmp> File : Which BDDs [0..19]: Loading 5.bdd ...
14TestDddmp> Operation [or,and,xor,!,buf(=)] : Source1 [0..19]: Source2 [0..19]: Destination [0..19]: TestDddmp> File : Which BDDs [0..19]: Storing 4xor5.bdd.tmp ...
15TestDddmp> Quitting CUDD Manager.
16TestDddmp> End of test.
17----------------------------- ... RESULTS ... -----------------------------
18-------------------------------- ... END ----------------------------------
Note: See TracBrowser for help on using the repository browser.