IBDP: detect oscillation in OSPF

[dhalperi]

No description provided.

[batfish-bot]

This change is 

[codecov]

Codecov Report

Merging #6823 (79ebae9) into master (818c58d) will decrease coverage by 0.01%.
The diff coverage is 0.00%.

@@             Coverage Diff              @@
##             master    #6823      +/-   ##
============================================
- Coverage     69.93%   69.91%   -0.02%     
+ Complexity    36377    36364      -13     
============================================
  Files          3034     3034              
  Lines        153788   153790       +2     
  Branches      18454    18455       +1     
============================================
- Hits         107550   107525      -25     
- Misses        37588    37604      +16     
- Partials       8650     8661      +11     

Impacted Files	Coverage Δ	Complexity Δ
...g/batfish/dataplane/ibdp/IncrementalBdpEngine.java	88.60% <0.00%> (-0.39%)	76.00 <0.00> (ø)
...g/batfish/datamodel/flow/IncomingSessionScope.java	84.61% <0.00%> (-15.39%)	7.00% <0.00%> (-1.00%)
.../datamodel/routing_policy/statement/Statement.java	72.72% <0.00%> (-9.10%)	6.00% <0.00%> (-1.00%)
...src/main/java/org/batfish/coordinator/PoolMgr.java	54.76% <0.00%> (-5.96%)	13.00% <0.00%> (-3.00%)
.../org/batfish/dataplane/rib/RouteAdvertisement.java	83.67% <0.00%> (-4.09%)	18.00% <0.00%> (-1.00%)
...org/batfish/datamodel/flow/BidirectionalTrace.java	81.81% <0.00%> (-2.28%)	14.00% <0.00%> (-1.00%)
...col/src/main/java/org/batfish/role/InferRoles.java	91.36% <0.00%> (-1.37%)	52.00% <0.00%> (-1.00%)
...ain/java/org/batfish/coordinator/WorkQueueMgr.java	70.93% <0.00%> (-0.59%)	90.00% <0.00%> (-1.00%)
...src/main/java/org/batfish/coordinator/WorkMgr.java	75.65% <0.00%> (-0.31%)	247.00% <0.00%> (-1.00%)
...java/org/batfish/dataplane/ibdp/VirtualRouter.java	90.42% <0.00%> (-0.31%)	210.00% <0.00%> (-1.00%)
... and 1 more

[arifogel]

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