@ -2,5 +2,5 @@ How to run:
```
docker image build --quiet --tag runall-image .
docker container run --tty --rm --read-only runall-image
docker container run --tty --rm --read-only --memory=6m runall-image