search

klee / klee-web

KLEE in the browser
Other
50 stars 15 forks source link

angstwad.docker_ubuntu does not install docker-py #125

Closed Denis-Gavrielov closed 5 years ago

Denis-Gavrielov commented 5 years ago

Vagrant up fails on TASK redis : Docker pull Redis 3.2

The problem seems to be a missing installation of docker-py. Maybe investigate to find another plug-in to install docker.