- changed status to resolved
Enabling routing must happen in base.
Issue #17
resolved
Currently the BGP OSPF chains example enables routing for one destination, which implies we should add a static route. But a static route is not a valid fix. If you add an edge between two non-static routing processes, it has to get added to the base. We need additional constraints in the MaxSMT to handle this.
Comments (1)
-
- Log in to comment
Fix issue
#17→ <<cset 61b7ae5839a3>>