Trailblazer is an efficient network verifier that implements the technique described in the paper, "Efficient SMT-based Network Fault Tolerance Verification".
-
Clone this repository
-
Build Batfish and Minesweeper Follow the steps described here
-
Create a conda environment with all requirements
$ conda create -n yourenv python=3.6 $ pip install -r requirements.txt
$ python run_c2s.py --scenario_path <scenario path> -mf <num of max dropped links> -rd <recursive depth> --threshold <num of policies to be verified>
-
scenario path - The path to the directory containing the scenario.
-
mf - An int specifying the maximum amount of failures to allow.
-
rd - An int specifying the depth for recursive best path optimization.
-
threshold - An int specifying the maximum number of policies to verify.
$ python run_c2s.py --scenario_path scenarios/bics/ospf -mf 2 -rd 1 --threshold 1