nsg-ethz/synet-plus

Issues

• Failed to run the bgp_peer example.

  #32 opened 4 years ago by chris3will
  0

• In Grigori all random BGP inputs produce failures

  #29 opened 6 years ago by alehed
  3

• NetComplete synthesizes config for a too strict sketch (4)

  #21 opened 6 years ago by alehed
  2

• BGP_ver failures according to Grigori

  #28 opened 6 years ago by alehed
  3

• The generated configuration files don't satisfy the requirements for the simplified graph testcase.

  #11 opened 6 years ago by alehed
  4

• NetComplete synthesizes config for a too strict sketch (6)

  #23 opened 6 years ago by alehed
  3

• No warning provided when the requirements are not implementable with the current sketch

  #9 opened 7 years ago by alehed
  1

• iBGP full mesh leads to crash in compute_next_hop_map

  #26 opened 6 years ago by alehed
  1

• Crash in create_symbolic_announcements

  #27 opened 6 years ago by alehed
  2

• network missing completely (regression)

  #25 opened 6 years ago by alehed
  3

• Symbolic local pref values should be concrete after solve

  #16 opened 6 years ago by alehed
  6

• Symbolic OSPF weights should be concrete after solve

  #17 opened 6 years ago by alehed
  4

• Ip address in prefix list is wrong

  #24 opened 6 years ago by alehed
  1

• NetComplete synthesizes config for a too strict sketch (5)

  #22 opened 6 years ago by alehed
  0

• NetComplete synthesizes config for a too strict sketch (3)

  #20 opened 6 years ago by alehed
  0

• Conflict in config where the router id's are assigned in the right order

  #19 opened 6 years ago by alehed
  2

• Non-concrete variables even in minimal routemaps

  #12 opened 6 years ago by alehed
  7

• Dropping announcements should not satisfy requirements

  #15 opened 6 years ago by alehed
  1

• The default concrete config should not synthesize

  #18 opened 6 years ago by alehed
  1

• two_ibgp_nodes fails with EMPTY?Value for iface R1:lo100

  #14 opened 6 years ago by alehed
  0

• Matching on permitted values is not allowed

  #13 opened 6 years ago by alehed
  2

• False negatives for check_order

  #8 opened 7 years ago by alehed
  0