Build the docker image and run it
docker build -f Dockerfile.<parcoach|itac|must> -t mbb:latest .
docker run -v `pwd`:/MBB -it mbb:latest bashGenerate the codes
python3 MBB.py -c generate --level 2Or
cd /MBB
tar -xf real_world_data.csv.tar.gz
cd /MBB/scripts
PYTHONPATH=../ python3 main.py --generator_dir errors --level 2 --real_world_data ../output.csvRun a tool on the codes
cd /MBB
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 MBB.py -c run -x parcoach -t 180 -l mylogdir -n 4To get stats on a tool
cd /MBB
python3 MBB.py -x <parcoach|itac|must> -l <logs output dir> -c csvTroubleshooting for ITAC
If you see an error like "Waiting for cache lock: Could not get lock /var/lib/dpkg/lock-frontend. It is held by process 3509 (apt)" Try: apt clean And retry the command to run the tool: python3 MBI.py -x itac -c run