t-lorenz/eran-docker

Docker image for ERAN ETH Robustness Analyzer

ERAN Docker

Dockerfile for building images of the ETH Robustness Analyzer with all required dependencies.

You can find pre-built images at https://hub.docker.com/r/lort/eran or by executing docker pull lort/eran.

To build the image yourself, clone the repository and run docker build .

eran-docker's Issues

Report error:"Could not load dynamic library 'libcudart.so.11.0'; dlerror: libcudart.so.11.0: cannot open shared object file: No such file or directory"

When I use docker to run the example using wsl2(a linux virtual machine) in windows, there is an error occur:

root@7ca18301d2e9:/ERAN/tf_verify# python3 . --netname ../mnist_relu_3_50.tf --epsilon 0 --domain deeppoly --dataset cifar10

2021-09-27 14:55:08.175668: W tensorflow/stream_executor/platform/default/dso_loader.cc:64] Could not load dynamic library 'libcudart.so.11.0'; dlerror: libcudart.so.11.0: cannot open shared object file: No such file or directory

2021-09-27 14:55:08.175721: I tensorflow/stream_executor/cuda/cudart_stub.cc:29] Ignore above cudart dlerror if you do not have a GPU set up on your machine.

Illegal instruction