Skip to content

Commit fe86866

Browse files
oscarbenjaminoscarbenjamin
committed
add bug repro
1 parent 52bae9e commit fe86866

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

‎bug.py‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
import flint
2+
3+
#f = flint.fmpz() == flint.fmpz(0)
4+
print(1.1)
5+
flint.fmpz(0)
6+
print(1.2)
7+
print(f)

0 commit comments

Comments
 (0)