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

remove unwanted +1 #4127

Merged
merged 4 commits into from
Feb 5, 2024
Merged

remove unwanted +1 #4127

merged 4 commits into from
Feb 5, 2024

Conversation

donomii
Copy link
Contributor

@donomii donomii commented Feb 2, 2024

What's being changed:

Remove +1 to bring it in line with examples and recommendations from papers.

There should be minimal to no effect on correctness (scores will shift by ~1/61)

Review checklist

  • Documentation has been updated, if necessary. Link to changed documentation:
  • Chaos pipeline run or not necessary. Link to pipeline:
  • All new code is covered by tests where it is reasonable.
  • Performance tests have been run or not necessary.

@donomii donomii self-assigned this Feb 2, 2024
Copy link

sonarcloud bot commented Feb 2, 2024

Quality Gate Passed Quality Gate passed

Kudos, no new issues were introduced!

0 New issues
0 Security Hotspots
No data about Coverage
23.1% Duplication on New Code

See analysis details on SonarCloud

@donomii donomii marked this pull request as ready for review February 3, 2024 20:11
@donomii donomii merged commit 131c2c9 into master Feb 5, 2024
35 checks passed
@donomii donomii deleted the remove-1 branch February 5, 2024 14:20
donomii added a commit that referenced this pull request Feb 5, 2024
* remove unwanted +1

* Change test scores to reflect new constant
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.

None yet

2 participants