Search results

Questions about the results of the faultlocating tool faultloc

Status: Open.

#9 In colgate-cs-research/batfish;

· sdifv opened on Nov 10, 2021

OSPF areas are not modeled properly

Status: Open.

#8 In colgate-cs-research/batfish;

· agember opened on Jun 10, 2019

prefix-set filtering is not modeled properly for Colgate

bug

Status: Open.

#6 In colgate-cs-research/batfish;

· agember opened on May 29, 2019

iBGP is not modeled properly for Colgate

bug

Status: Open.

#5 In colgate-cs-research/batfish;

· agember opened on May 29, 2019

Different counterexamples have different ADs

bug

Status: Open.

#3 In colgate-cs-research/batfish;

· agember opened on Mar 8, 2019

bgpospfchains/add-acl scenario does not violate any policies

bug

Status: Open.

#2 In colgate-cs-research/batfish;

· agember opened on Nov 20, 2018