testing release utbotcpp in docker

Create docker container for tests

Create container

docker container create -i -t -p 5522:22 -p 5521:2121 --name utbot-test ubuntu:20.04 #5522 ssh port, 5521 utbot port
docker start utbot-test

Go into container

docker exec -it utbot-test /bin/bash

Install dependency

apt update && apt install sudo vim openssh-server unzip gcc-9 g++-9 make -y

Create user

useradd -m utbot
usermod -aG sudo utbot

Set user password

passwd utbot

Set up ssh

service ssh start

Exit from docker

exit

Setup UTBotCpp

Download archive from result of github publish UTBot as an archive

Copy archive to docker

scp -P 5522 utbot-dev-2022.7.198.zip [email protected]:/home/utbot/

ssh into docker

ssh [email protected] -p 5522

Setup UTBotCpp

chsh -s /bin/bash  #change sh to bash
sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-9 60 --slave /usr/bin/g++ g++ /usr/bin/g++-9
sudo update-alternatives --config gcc
unzip utbot-dev-2022.7.198.zip
chmod +x unpack_and_run_utbot.sh
./unpack_and_run_utbot.sh

Next same as step-by-step