path: root/docker_tools/build.sh

#!/bin/bash

docker image rm verif_runner
docker build -t verif_runner:latest .