Run fat-tree reachability test (without bonsai)

batfish · Jan 8, 2019 · 7e5c500 · 7e5c500
1 parent e38cb3c
commit 7e5c500
Show file tree

Hide file tree

Showing 7 changed files with 2,101,673 additions and 0 deletions.
diff --git a/experiments/fat-tree.10-ary/verify.reachability.1-failures.log b/experiments/fat-tree.10-ary/verify.reachability.1-failures.log
diff --git a/experiments/fat-tree.12-ary/verify.reachability.1-failures.log b/experiments/fat-tree.12-ary/verify.reachability.1-failures.log