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

Juniper: add Protocol constraints for match clauses that imply them #5574

Merged
merged 1 commit into from
Feb 21, 2020

Conversation

dhalperi
Copy link
Member

No description provided.

@batfish-bot
Copy link

This change is Reviewable

@dhalperi dhalperi changed the title Juniper: matching tcp flags requires TCP packets @dhalperi Juniper: add Protocol constraints for match clauses that imply them Feb 21, 2020
@dhalperi dhalperi changed the title @dhalperi Juniper: add Protocol constraints for match clauses that imply them Juniper: add Protocol constraints for match clauses that imply them Feb 21, 2020
* tcp flags: TCP
* icmp types/coes: ICMP
* port (src, dest, unqualified): TCP or UDP
@codecov
Copy link

codecov bot commented Feb 21, 2020

Codecov Report

Merging #5574 into master will decrease coverage by 0.00%.
The diff coverage is n/a.

@@             Coverage Diff              @@
##             master    #5574      +/-   ##
============================================
- Coverage     73.65%   73.65%   -0.01%     
+ Complexity    32553    32548       -5     
============================================
  Files          2651     2651              
  Lines        130253   130268      +15     
  Branches      15561    15561              
============================================
+ Hits          95944    95951       +7     
- Misses        26725    26730       +5     
- Partials       7584     7587       +3     
Impacted Files Coverage Δ Complexity Δ
...ain/java/org/batfish/symbolic/IngressLocation.java 65.78% <0.00%> (-2.64%) 15.00% <0.00%> (-1.00%)
...col/src/main/java/org/batfish/role/InferRoles.java 89.54% <0.00%> (-1.37%) 50.00% <0.00%> (-1.00%)
...src/main/java/org/batfish/coordinator/PoolMgr.java 64.04% <0.00%> (-1.13%) 15.00% <0.00%> (-1.00%)
...tfish/representation/cisco/CiscoConfiguration.java 86.09% <0.00%> (-0.12%) 548.00% <0.00%> (-1.00%)

Copy link
Contributor

@yifeiyuan yifeiyuan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed 13 of 13 files at r1.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved

Copy link
Contributor

@yifeiyuan yifeiyuan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:lgtm:

Reviewable status: :shipit: complete! all files reviewed, all discussions resolved

@dhalperi dhalperi merged commit 3b90873 into master Feb 21, 2020
@dhalperi dhalperi deleted the tcp-flags branch February 21, 2020 21:17
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

3 participants