emergency commit
[cl-cudd.git] / distr / dddmp / exp / test5.out
bloba883f515f5de32da93e0563c1d69d9a6564668d5
1 rm: No match.
2 ---------------------------------------------------------------------------
3 --------------------- TESTING Load ADD and Store ADD ----------------------
4 ---------------------------------------------------------------------------
5 #./../testdddmp Version 2.0.2 (use command help)
6 TestDddmp> Number of Variables: TestDddmp> File : TestDddmp> File : Which BDDs [0..19]: Loading 0.add ...
7 Load:
8 -01  2
9 -1-  1
10 TestDddmp> File : Which BDDs [0..19]: Storing 0.add.tmp ...
11 TestDddmp> Quitting CUDD Manager.
12 TestDddmp> Number of Variables: TestDddmp> File : TestDddmp> File : Which BDDs [0..19]: Loading 1.add ...
13 Load:
14 -0001---------------------------------------------  1
15 -0010---------------------------------------------  2
16 -0100---------------------------------------------  1
17 -0101---------------------------------------------  2
18 -0111---------------------------------------------  1
19 -1000---------------------------------------------  2
20 -1010---------------------------------------------  1
21 -1011---------------------------------------------  2
22 -1101---------------------------------------------  1
23 -1110---------------------------------------------  2
24 TestDddmp> File : Which BDDs [0..19]: Storing 1.add.tmp ...
25 TestDddmp> Quitting CUDD Manager.
26 TestDddmp> End of test.
27 ----------------------------- ... RESULTS ... -----------------------------
28 -------------------------------- ... END ----------------------------------