Skip to content

Commit d623ee5

Browse files
committed
Hide mutants caught by type checker in browse
1 parent fbb1c60 commit d623ee5

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/mutmut/__main__.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1514,7 +1514,7 @@ def apply_mutant(mutant_name):
15141514

15151515

15161516
@cli.command()
1517-
@click.option("--show-killed", is_flag=True, default=False, help="Display killed mutants.")
1517+
@click.option("--show-killed", is_flag=True, default=False, help="Display mutants killed by tests and type checker.")
15181518
def browse(show_killed):
15191519
ensure_config_loaded()
15201520

@@ -1616,7 +1616,7 @@ def on_data_table_row_highlighted(self, event):
16161616
source_file_mutation_data, stat = self.source_file_mutation_data_and_stat_by_path[event.row_key.value]
16171617
for k, v in source_file_mutation_data.exit_code_by_key.items():
16181618
status = status_by_exit_code[v]
1619-
if status != 'killed' or show_killed:
1619+
if status not in ('killed', 'caught by type check') or show_killed:
16201620
mutants_table.add_row(k, emoji_by_status[status], key=k)
16211621
else:
16221622
assert event.data_table.id == 'mutants'

0 commit comments

Comments
 (0)