pushed_configs 定期的に実機 (相当) からconfigなどを取得してモデルを作るためのレポジトリ directories pushed_config/ mddo_network/ : batfishにそのまま読ませることができるようにしておく configs/ hosts/ iptables/ layer1_topology.json L1_topo/ : L1トポロジ計算用のスクリプトたち その他必要に応じてディレクトリをつくる