- 博客(3)
- 收藏
- 关注
RSS订阅原创 网络验证Minesweeper使用 学习（1）
Minesweeper之BGP测试 学习一、BGP11.导入BGP1的网络。init-testrig /home/yahui/Desktop/batfish-abstraction-fixes/test_rigs/smt-examples/BGP1这个网络很小，只有两个路由器，大概长这样：导入成功后，返回长这样：2.测试转发跳数接下来，进行转发跳数的测试。get smt-bounded-length finalNodeRegex="R1", finalIfaceRegex="Loopb
2022-01-16 13:50:43
482
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人