From 422bc234716284965d101b3690c326100942cd6b Mon Sep 17 00:00:00 2001 From: Alex Goodwin Date: Thu, 19 Dec 2024 02:31:43 +1000 Subject: [PATCH] Convert report branches to int _before_ adding offset --- src/hypofuzz/hy.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/hypofuzz/hy.py b/src/hypofuzz/hy.py index 3b81fc9..8b9c53c 100644 --- a/src/hypofuzz/hy.py +++ b/src/hypofuzz/hy.py @@ -405,7 +405,7 @@ def _json_description(self) -> Report: doubletons = self.pool.doubletons offset = singletons * (singletons-1) / 2 if 0 == doubletons else singletons * singletons / (2 * doubletons) offset = int(offset) + 1 - report["est. branches"] = report["branches"] + offset + report["est. branches"] = int(str(report["branches"])) + offset return report @property