Divir Gupta
Results
2
comments of
Divir Gupta
 Anyone found a fix?
This will be helpful to add. It seems like if the format is "dot", then the stats are ignored. ```python print("cover" in bst.get_dump(dump_format="text", with_stats=True)[0]) # True print("cover" in bst.get_dump(dump_format="dot", with_stats=True)[0])...