The tests test_format_string_attack_for_leak and test_format_string_attack_for_win_call are executed, but doesn't contain any assertion because no exploit is generated.
The root cause should be investigated such that the exploits are generated. The tests should be adapted afterward with the proper assertions.