Merge branch '130-formal-verification-with-frama-c' into 'develop'

Resolve "Formal verification with frama-c"

Closes #130

See merge request !131
5 jobs for develop in 2 minutes and 12 seconds (queued for 35 minutes and 19 seconds)
Status Job ID Name Coverage
  Dist
failed #671556
dist

00:02:12

 
  Check
skipped #671557
check
skipped #671559
deb
skipped #671558
mingw
 
  Manual
skipped #671560
pages
 
Name Stage Failure
failed
dist Dist There has been a runner system failure, please try again
ERROR: Preparation failed: Cannot connect to the Docker daemon at unix:///var/run/docker.sock. Is the docker daemon running? (cache_container.go:97:120s)
Will be retried in 3s ...
Using Docker executor with image tarotbis/dist ...
ERROR: Preparation failed: Error response from daemon: Conflict. The container name "/runner-843b4faa-project-13713-concurrent-1-cache-c33bcaa1fd2c77edfc3893b41966cea8" is already in use by container "2a60d124dc17f2064eb559fba4ff6e24506f94bc379c74e28089aaf5c8b79f7c". You have to remove (or rename) that container to be able to reuse that name. (cache_container.go:97:0s)
Will be retried in 3s ...
Using Docker executor with image tarotbis/dist ...
ERROR: Preparation failed: Error response from daemon: Conflict. The container name "/runner-843b4faa-project-13713-concurrent-1-cache-c33bcaa1fd2c77edfc3893b41966cea8" is already in use by container "2a60d124dc17f2064eb559fba4ff6e24506f94bc379c74e28089aaf5c8b79f7c". You have to remove (or rename) that container to be able to reuse that name. (cache_container.go:97:0s)
Will be retried in 3s ...
ERROR: Job failed (system failure): Error response from daemon: Conflict. The container name "/runner-843b4faa-project-13713-concurrent-1-cache-c33bcaa1fd2c77edfc3893b41966cea8" is already in use by container "2a60d124dc17f2064eb559fba4ff6e24506f94bc379c74e28089aaf5c8b79f7c". You have to remove (or rename) that container to be able to reuse that name. (cache_container.go:97:0s)