From c1a7e3b78cd480052c8c775a8abb6f5e0b78952e Mon Sep 17 00:00:00 2001 From: "[6~" Date: Wed, 22 Jan 2020 15:52:32 +0100 Subject: [PATCH] Add test for context pickling --- test/test_isl.py | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/test/test_isl.py b/test/test_isl.py index 2daa84a..30515b8 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: -- GitLab