Skip to content

infection/infection

master
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Code

Latest commit

This is built upon #1754 so if you want to check a cleaner diff do skip the first two commits.

This PR is also pure refactoring: there is no new elements being tested, but it is more than simple renaming. The goal here is to prepare for further upcoming changes but I think those changes themselves should be good enough on their own.
5434b39

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
doc
Mar 13, 2020