Skip to content

Create branch use-utf8-in-docker-images

Thomas Lemberger requested to merge use-utf8-in-docker-images into trunk

Sorry for the two 'create branch' commits. git svn branch produced an error on the first creation, so I deleted and re-recreated the branch to make sure everything's ok.

This MR:

  • Adds the cpachecker executable to PATH in Docker images, so that users that enter the container can execute cpa.sh from anywhere
  • Sets the locale to en_US.UTF-8, so that CPAchecker does not warn about an unexpected file encoding

Merge request reports