Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Test updates #43

Closed
wants to merge 13 commits into from
Closed

Test updates #43

wants to merge 13 commits into from

Conversation

Locke
Copy link
Contributor

@Locke Locke commented Sep 5, 2023

First two commits are fixups of the LWW change.

The next three commits are minor enhancements to the CI.

The remaining commits are doing basically adding more test cases to DecomposeManualTests. This is growing too much and is testing much more than the decompose, but I don't know how to re-structure it better and will leave it as-is.

Locke added 13 commits August 29, 2023 15:24
The new LastWriterWins implementation already provides a bottom.

Fixes: 05d6cb8 ("adapt container tests to different LWW")
- update test case titles
- add test case that is not possible for contextual data types
This allows maintainers to trigger a workflow (re-)run from GitHub Actions,
optionally for a given commit or branch.

The behavior for push and pull_request is unchanged (only syntactic change).
Clearly sequence compilation and testing, making compilation mandatory
and do not retry on compilation errors.

This adds a slight overhead, as sbt is started one more time.
But the steps are more clear, and this avoids the need for `parallelExecution := false`.
- add comment to highlight these are not sequenced
- test mirrored diffs - some changes are consumed by the other change
EnableWinsFlag is a simple contextual RDT that is easy to be used in a
more complex composition.
Add this initial test as foundation to build a more complex test case later.
LWW is no longer contextual. Properly document this in the test cases.
…ata type EnableWinsFlag

Previously the test case of Dotted[GrowOnlyMap[Int, LastWriterWins[String]]]
tested that GrowOnlyMap properly handles the context.
Since LWW is no longer contextual, a new test case is needed for that.
@rmgk
Copy link
Collaborator

rmgk commented Sep 8, 2023

Looks good as far as I can tell. Let’s see what the CI says to the changes.

I did rebase the changes on top of master … no clue how to make this UI understand that 😄

@rmgk rmgk closed this Sep 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants