From 0f6d16483cc13078edebac9e89d1d4b99d22991e Mon Sep 17 00:00:00 2001 From: "Scott C. Livingston" Date: Mon, 22 Apr 2019 09:40:43 -0700 Subject: [PATCH] TEST: regression test for #40 --- tests/regressions_test.py | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 tests/regressions_test.py diff --git a/tests/regressions_test.py b/tests/regressions_test.py new file mode 100644 index 00000000..ecf119e8 --- /dev/null +++ b/tests/regressions_test.py @@ -0,0 +1,22 @@ +from dd import cudd + + +def test_reordering_setting_restore(): + # Original report at https://github.com/tulip-control/dd/issues/40 + b = cudd.BDD() + b.configure(reordering=False) + b.add_var('x') + b.add_var('y') + # x /\ y + s = '~ x /\ y' + u = b.add_expr(s) + assert not b.configure()['reordering'] + g = b.pick_iter(u) + m = list(g) + m_ = [dict(x=False, y=True)] + assert m == m_, (m, m_) + assert not b.configure()['reordering'] + + +if __name__ == '__main__': + test_reordering_setting_restore()