diff --git a/test/test_isl.py b/test/test_isl.py index 2daa84a54382bbd1c4f4e4566bf97fc045ddbc0f..30515b8cce8112aa886bead54598892e46a95355 100644 --- a/test/test_isl.py +++ b/test/test_isl.py @@ -355,6 +355,13 @@ def test_bound(): 0 <= i < n and 0 <= j < m}""").bound(isl.fold.max)) +def test_copy_context(): + ctx = isl.Context() + import copy + assert copy.copy(ctx).data != ctx.data + assert copy.copy(ctx).data != isl.DEFAULT_CONTEXT.data + + if __name__ == "__main__": import sys if len(sys.argv) > 1: