tlaplus / tlaplus/CommunityModules
Unit tests in `FiniteSetsExtTests` rely on specific line numbers
Nobody has claimed this yet.
- Dominant language
- TLA
- Stars
- 315
- Forks
- 48
- Avg merge
- 13h 27m
- Merged PRs (30d)
- 2
Description
These unit tests in FiniteSetsExtTests rely on specific line numbers of statements in the FiniteSetsExt.tla module. So, if one tries to modify FiniteSetsExt.tla in a way that shifts existing statements to different line numbers, it breaks these tests. These tests should be updated to avoid dependence on specific line numbers.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with tests/FiniteSetsExtTests.tla at lines 98-108 and compare how those tests depend on statement line numbers in FiniteSetsExt.tla. Update the tests so shifting existing statements does not break them, then run the unit tests to confirm they still pass.
Written by the indexing model from the issue text.
Assessment
- Domain
- testing-qa
- Issue type
- Refactor
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Clearly specified
- Newbie friendliness
- 45/100