2 ---------------------------------------------------------------------------
3 ---------- TESTING Load/Store with sifting, varnames & varauxids ----------
4 ---------------------------------------------------------------------------
5 #./../testdddmp Version 2.0.2 (use command help)
6 TestDddmp> Number of Variables: TestDddmp> File : TestDddmp> File : Which BDDs [0..19]: Loading 4.bdd ...
7 TestDddmp> File : TestDddmp> File : Which BDDs [0..19]: Storing 4a.bdd.tmp ...
8 TestDddmp> Reordering Approach (1..17): TestDddmp> File : Which BDDs [0..19]: Storing 4b.bdd.tmp ...
9 TestDddmp> Quitting CUDD Manager.
10 TestDddmp> End of test.
11 ------------------------- ... END PHASE 1 ... -----------------------------
12 #./../testdddmp Version 2.0.2 (use command help)
13 TestDddmp> Number of Variables: TestDddmp> File : TestDddmp> Variable matchmode:
16 Match names (must have been loaded) (3)
17 Match auxids (must have been loaded) (4)
18 Match composeids (must have been loaded) (5)
19 Your choice: TestDddmp> File : Which BDDs [0..19]: Loading 4b.bdd.tmp ...
20 TestDddmp> File : TestDddmp> File : Which BDDs [0..19]: Storing 4c.bdd.tmp ...
21 TestDddmp> Quitting CUDD Manager.
22 TestDddmp> End of test.
23 ----------------------------- ... RESULTS ... -----------------------------
24 -------------------------------- ... END ----------------------------------