- 博客(3)
- 收藏
- 关注
RSS订阅原创 网络验证Minesweeper使用 学习（1）
Minesweeper之BGP测试 学习 一、BGP1 1.导入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
677
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人