Add integration tests for docker image
We can manually build the docker image with the following commands:
> ./gradlew build
[.. build output ..]
> docker build -f src/main/docker/Dockerfile.jvm -t cpachecker-grpc .
But this is not tested in the CI yet. This make it likely that future errors go unnoticed for a long time.
To avoid this, we should add CI jobs that build the docker image and run integration tests against it (CpacheckerServiceModuleTest
provides test cases).
Edited by Thomas Lemberger