Etan Kissling 2c384da092
Fix typing issue when 10e10 is interpreted as float
On macOS Python, passing `10e10` to `rng.randint` results in an error
when generating certain tests. Forcing `int` avoids the problem.
2024-06-21 10:51:18 +02:00
..
2024-05-21 22:54:25 +02:00
2021-06-24 09:24:58 -07:00
2024-05-21 22:54:25 +02:00
2024-05-28 16:24:11 +08:00
2024-02-06 17:53:07 +01:00
2024-06-13 23:42:36 +08:00