Split linear.py and add domains

[linpy.git] / tests / test_isl.py

diff --git a/tests/test_isl.py b/tests/test_isl.py
deleted file mode 100644 (file)
index 21374b5..0000000
--- a/tests/test_isl.py
+++ /dev/null
@@ -1,13 +0,0 @@
-import unittest
-
-from math import floor, ceil, trunc
-
-from pypol.isl import *
-
-
-class TestContext(unittest.TestCase):
-
-    def test_eq(self):
-        ctx1, ctx2 = Context(), Context()
-        self.assertEqual(ctx1, ctx1)
-        self.assertNotEqual(ctx1, ctx2)