From 8616f17b51e438bffc8aff552edd958ac9e18f8d Mon Sep 17 00:00:00 2001
From: Emmanuelle Saillard <emmanuelle.saillard@inria.fr>
Date: Fri, 2 Aug 2024 11:28:43 +0200
Subject: [PATCH] update README file

---
 README.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 6932ed6e..68f87e4c 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
-- 
GitLab