Skip to content

Commit 65b21be

Browse files
committed
Add test for neg.
1 parent 9812323 commit 65b21be

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

src/flint/test/test_all.py

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1669,6 +1669,8 @@ def test_arb():
16691669
assert arb(3) <= arb("inf")
16701670
assert arb(3) == arb(3)
16711671
assert arb(3) != arb(2)
1672+
assert -arb(3) == arb(-3)
1673+
assert arb(3).neg() == arb(-3)
16721674
assert not (arb("1.1") == arb("1.1"))
16731675

16741676
assert arb(3).repr() == 'arb((0x3, 0x0))'

0 commit comments

Comments
 (0)