Skip to content
Snippets Groups Projects
Select Git revision
  • 560c410ed5ca6cddf1867a6d7a8cd0414e296112
  • main default protected
  • leveleditor
  • david-author
  • clang-tidy-cleanup
  • architecture-refactoring
  • cleanUpMenus
  • doxygen-cleanup
  • project-structure-refactoring
  • interpolation
  • buildingFeatures
  • win_end_screen
  • helpMenu
  • leveleditor-placement
  • text-rendering
  • updated_unit_contextmenu
  • level-from-commandline
  • unit_contextmenu
  • player
  • engine-scaling
  • clang-tidy
21 results

cpp-project

  • Clone with SSH
  • Clone with HTTPS
    • Name Last commit Last update
    Data
    img
    logs
    scripts
    .deactivated.gitlab-ci.yml
    .dockerignore
    .gitignore
    Dockerfile.itac
    Dockerfile.must
    Dockerfile.parcoach
    MBI.py
    Pipfile
    Pipfile.lock
    README.md
    gitlab-simgrid.yml
    real_world_data.csv.tar.gz
    README.md

    Build the docker image and run it

    docker build -f Dockerfile.<parcoach|itac|must> -t mbb:latest .
docker run -v `pwd`:/MBI -it mbb:latest bash

    Generate the codes

    cd /MBI
tar -xf real_world_data.csv.tar.gz
cd /MBI/scripts
PYTHONPATH=../ python3 main.py --generator_dir errors --level 2 --real_world_data ../output.csv

    Run a tool on the codes

    cd /MBI
python3 MBI.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

    To get stats on a tool

    cd /MBI
python3 MBI.py -x <parcoach|itac|must> -l <logs output dir> -c csv

    Troubleshooting 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