Public Repository

Last pushed: a year ago
Short Description
Ready environment for compiling
Full Description


Docker image for building

How to use this image

This image contains all needed dependencies to build and run code from

Working with a container

First run this image

docker run \
  --env="DISPLAY" \
  --env="QT_X11_NO_MITSHM=1" \
  --volume="/tmp/.X11-unix:/tmp/.X11-unix:rw" \

Then in order to let docker show graphical application to your X server you have to add necessary permissions (run these commands when image is running). If you want to know more I recommend to check ROS docker wiki.

export containerId=$(docker ps -l -q)
xhost +local:$(docker inspect --format='{{ .Config.Hostname }}' $containerId)

Then you can connect to container terminal with command

docker run -i $containerId

You can check your running container id with a command

docker ps

Compiling the source

When you go into container you will be placed inside coverage-search/build directory.


Before compiling you probably want to update repository. Just call

git pull

From that you can execute building command

cmake -DCMAKE_BUILD_TYPE=Release ..
make all

Executing an experiment

All experiments are prepared as make targets that build & run an experiment.

You can list all available experiments with a command

make help | grep experiment

To run experiment just execute proper make target

make experiment_random

What next?

For more informations about compiling and executing experiments please refer to coverage-search repository.

Docker Pull Command