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