projects
/
linpy.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Unitary tests for Polyhedron, very incomplete
[linpy.git]
/
tests
/
test_isl.py
1
import
unittest
2
3
from
math
import
floor
,
ceil
,
trunc
4
5
from
pypol
.
isl
import
*
6
7
8
class
TestContext
(
unittest
.
TestCase
):
9
10
def
test_eq
(
self
):
11
ctx1
,
ctx2
=
Context
(),
Context
()
12
self
.
assertEqual
(
ctx1
,
ctx1
)
13
self
.
assertNotEqual
(
ctx1
,
ctx2
)