Order of router and interface stanzas
Issue #12
new
If you reverse the order of interfaces and router stanza in the B.config in single_ospf, the ospf process has no prefixes. This is probably a batfish bug.