We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent bc7543e commit cfa3178Copy full SHA for cfa3178
src/hypofuzz/hy.py
@@ -405,7 +405,7 @@ def _json_description(self) -> Report:
405
doubletons = self.pool.doubletons
406
offset = singletons * (singletons-1) / 2 if 0 == doubletons else singletons * singletons / (2 * doubletons)
407
offset = int(offset) + 1
408
- report["est. branches"] = report["branches"] + offset
+ report["est. branches"] = int(report["branches"]) + offset
409
return report
410
411
@property
0 commit comments