core: files=16 mutants=2412 files_not_identical_after_case_preserving_mapping=[]
registry: files=1 mutants=603 files_not_identical_after_case_preserving_mapping=[]
