how to create docker image

$ sh create.sh

how to play miri

$ docker run -it -v $(pwd)/:/home/app miri-cli:ubuntu-18.04 bash
$ cargo +nightly miri run

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
src		src
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
Dockerfile		Dockerfile
README.md		README.md
create.sh		create.sh