diff --git a/README.md b/README.md index 6932ed6e215c1ff89f9dd344cbce98b94c6ee4d8..68f87e4c3d5725f68e0c67f6a68f28a168a54763 100644 --- a/README.md +++ b/README.md @@ -18,20 +18,20 @@ PYTHONPATH=../ python3 main.py --generator_dir errors --level 2 --real_world_dat ``` cd /MBB -python3 MBI.py -c run -x <parcoach|itac|must> -t <timeout in seconds> -l <logs output dir> -n <number of workers> +python3 MBB.py -c run -x <parcoach|itac|must> -t <timeout in seconds> -l <logs output dir> -n <number of workers> ``` #### Example for PAROACH ``` -python3 MBI.py -c run -x parcoach -t 180 -l mylogdir -n 4 +python3 MBB.py -c run -x parcoach -t 180 -l mylogdir -n 4 ``` ## To get stats on a tool ``` cd /MBB -python3 MBI.py -x <parcoach|itac|must> -l <logs output dir> -c csv +python3 MBB.py -x <parcoach|itac|must> -l <logs output dir> -c csv ``` ## Troubleshooting for ITAC