Giters

nsg-ethz / synet-plus

Practical Network-Wide Configuration Synthesis with Autocompletion

Home Page:https://netcomplete.ethz.ch/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Crash in create_symbolic_announcements

alehed opened this issue · comments

commented

When calling synthesize (use_igp is false) creating the iBGP propagation fails due to create_symbolic_announcements failing at the assertion that next_hop is not in fixed.

This might also be my fault, but currently I don't understand this part of the code.

Steps to reproduce:

  1. Replace the 2 in the test_single_fail_configuration (in test_bgpver.py) test case with a 3
  2. Run the test case
commented

This is due to the VALUENOTSET used in the input AS Path. NetComplete currently doesn't synthesize. Tekton was updated nsg-ethz/tekton@69442d3 to catch this error early.

commented

FYI, In case you don't care about the AS path, you can just provide an empty list []