# Test Coverage Report

![Test Coverage Report](https://colle-public-images.s3.amazonaws.com/Report.jpg)

We have virtually 100% test coverage across all the core contracts of the system

## Missing Coverage Branch

There is one branch case that is not covered in EscrowUpgradeable's `_updateSale` function. However, the missing branch is due to unreachable code.

![Remaining Branch](https://colle-public-images.s3.amazonaws.com/RemainingBranchIssue.jpg)

The issue is that there is no test to cover what occurs if `_newState` passes through every if/else condition and falls through.

However, `_newState` must be a State, and all states are covered by this if/else.

![States](https://colle-public-images.s3.amazonaws.com/States.jpg)

Therefore, this missing branch is a non-issue.
