Skip to content

imitator-model-checker/imitator-web

Repository files navigation

imitator-web

Graphical web interface to run imitator

Requirements

Run

Firstly, you need to install the required dependencies

yarn install

Then, you need to start the server

yarn start

Configuration

  • UPLOAD_FOLDER: Set the folder where the files will be saved temporarily. Default: /tmp/imitator-runner.
  • BENCHMARKS_FOLDER: Set the folder where the benchmark files are stored. Default: ./benchmarks.
  • IMITATOR_MODE: Set the mode how imitator will be executed. Default: binary. The possible values are
    • binary: if the imitator binary will be used
    • docker: if the imitator docker image will be used
  • IMITATOR_PATH: Set either the path where the imitator binary is located (binary mode) or the name of the Docker image to be used (docker mode). Default imitator
  • PORT: Set the port that the server will listen. Default: 3000

Production

Currently, the imitator web application can be found at https://imitator.lipn.univ-paris13.fr/. The configuration can be modified by editing the file ecosystem.config.js. The default configuration is:

  ...
  env_production: {
    NODE_ENV: 'production',
    UPLOAD_FOLDER: '/data/imitator',
    BENCHMARKS_FOLDER: '/root/imitator/imitator/benchmarks',
    IMITATOR_MODE: 'docker',
    IMITATOR_PATH: 'imitator:latest',
    PORT: 3001,
  },
  ...