rm: No match.
---------------------------------------------------------------------------
---------- TESTING Load/Store with sifting, varnames & varauxids ----------
---------------------------------------------------------------------------
#./../testdddmp Version 2.0.2 (use command help)
TestDddmp> Number of Variables: TestDddmp> File : TestDddmp> File : Which BDDs [0..19]: Loading 4.bdd ...
TestDddmp> File : TestDddmp> File : Which BDDs [0..19]: Storing 4a.bdd.tmp ...
TestDddmp> Reordering Approach (1..17): TestDddmp> File : Which BDDs [0..19]: Storing 4b.bdd.tmp ...
TestDddmp> Quitting CUDD Manager.
TestDddmp> End of test.
------------------------- ... END PHASE 1 ... -----------------------------
#./../testdddmp Version 2.0.2 (use command help)
TestDddmp> Number of Variables: TestDddmp> File : TestDddmp> Variable matchmode:
Match IDs                                (1)
Match permIDs                            (2)
Match names      (must have been loaded) (3)
Match auxids     (must have been loaded) (4)
Match composeids (must have been loaded) (5)
Your choice: TestDddmp> File : Which BDDs [0..19]: Loading 4b.bdd.tmp ...
TestDddmp> File : TestDddmp> File : Which BDDs [0..19]: Storing 4c.bdd.tmp ...
TestDddmp> Quitting CUDD Manager.
TestDddmp> End of test.
----------------------------- ... RESULTS ... -----------------------------
-------------------------------- ... END ----------------------------------
