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

core: spacing-requirements: handle several zones before first signal #7480

Merged
merged 1 commit into from
May 23, 2024

Conversation

eckter
Copy link
Contributor

@eckter eckter commented May 22, 2024

Fix a rare bug that has been identified by the fuzzer, there's a regression test on the branch ech/ts2-fuzzer (though it's not related to train schedules v2).

We properly generate requirement only from the first seen signal, with a special case for the first zone. That special case needs to be generalized to all zones between the start and first signal.

@eckter eckter requested a review from a team as a code owner May 22, 2024 14:35
@eckter eckter requested a review from Erashin May 22, 2024 14:35
@eckter eckter force-pushed the ech/spacing-requirement-bugfix branch from 6a47465 to 02c79c2 Compare May 22, 2024 14:37
We properly generate requirement only from the first
seen signal, with a special case for the first zone.
That special case needs to be generalized to all
zones between the start and first signal.
@eckter eckter force-pushed the ech/spacing-requirement-bugfix branch from 02c79c2 to e89df0e Compare May 22, 2024 14:38
@eckter eckter self-assigned this May 22, 2024
@codecov-commenter
Copy link

codecov-commenter commented May 22, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 29.40%. Comparing base (afc1c50) to head (e89df0e).
Report is 12 commits behind head on dev.

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files
@@             Coverage Diff              @@
##                dev    #7480      +/-   ##
============================================
+ Coverage     29.36%   29.40%   +0.04%     
- Complexity     2012     2013       +1     
============================================
  Files          1177     1181       +4     
  Lines        145975   146096     +121     
  Branches       2871     2874       +3     
============================================
+ Hits          42867    42963      +96     
- Misses       101423   101448      +25     
  Partials       1685     1685              
Flag Coverage Δ
core 75.07% <100.00%> (-0.06%) ⬇️
editoast 72.38% <ø> (+0.04%) ⬆️
front 9.79% <ø> (+<0.01%) ⬆️
gateway 2.41% <ø> (ø)
railjson_generator 87.49% <ø> (ø)
tests 84.29% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@eckter eckter added this pull request to the merge queue May 23, 2024
Merged via the queue into dev with commit 6dd0ad0 May 23, 2024
17 checks passed
@eckter eckter deleted the ech/spacing-requirement-bugfix branch May 23, 2024 07:49
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.

3 participants