ivanperez-keera
commented
3 months ago Change Manager: Verified that:
- Solution is implemented:
- [X] The code proposed compiles and passes all tests. Details: Build log: https://app.travis-ci.com/github/Copilot-Language/copilot/builds/269344778
- [X] The solution proposed produces the expected result. Details:
Evaluated by manual inspection. Running tests with coverage enabled achieves coverage of 97% for top-level definitions (37 out of 38 definitions). The one not tested is
uTypeType, which cannot be tested due to being part of an existential type (it's necessity is being discussed in #484). The modulesCopilot.Core.OperatorsandCopilot.Core.SpecandCopilot.Core.Expronly contain datatype definitions, so they do not need to be tested.
- [X] Implementation is documented. Details: New tests are documented.
- [X] Change history is clear.
- [X] Commit messages are clear.
- [X] Changelogs are updated.
- [X] Examples are updated. Details: No updates needed.
- [X] Required version bumps are evaluated. Details: Bump not needed. Changes affect tests only.
Increase test coverage of all modules that contain manually-coded functions, as prescribed in the solution proposed for #502.