From 8a07c635faaf33f03aa1692f431e1454eb729558 Mon Sep 17 00:00:00 2001 From: Linard Arquint Date: Fri, 8 Dec 2023 10:18:57 +0100 Subject: [PATCH] fixes README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 12f8eda..f6e3abe 100644 --- a/README.md +++ b/README.md @@ -50,7 +50,7 @@ The artifact docker image includes both reusable verification libraries and all We require an installation of Docker. The following steps have been tested on macOS 14.0 with the latest version of Docker Desktop, which is at time of writing 4.24.2 and comes with version 24.0.6 of the Docker CLI. #### Installation -- We recommend to adapt the Docker settings to provide sufficient resources to Docker. We have tested our artifact on a 2019~16-inch MacBook Pro with 2.3~GHz 8-Core Intel Core i9 running macOS Sonoma~14.0 and configured Docker to allocate up 16~cores (which includes 8~virtual cores), 6~GB of memory, and 1~GB of swap memory. In case you are using an ARM-based Mac, enable the option "Use Rosetta for x86/amd64 emulation on Apple Silicon" in the Docker Desktop Settings, which is available on macOS~13 or newer. Measurements on an Apple M1~Pro Silicon have shown that performing this additional emulation results in 20-25\% longer verification times compared to those reported in the remainder of this artifact appendix. +- We recommend to adapt the Docker settings to provide sufficient resources to Docker. We have tested our artifact on a 2019 16-inch MacBook Pro with 2.3 GHz 8-Core Intel Core i9 running macOS Sonoma 14.0 and configured Docker to allocate up 16 cores (which includes 8 virtual cores), 6 GB of memory, and 1 GB of swap memory. In case you are using an ARM-based Mac, enable the option "Use Rosetta for x86/amd64 emulation on Apple Silicon" in the Docker Desktop Settings, which is available on macOS 13 or newer. Measurements on an Apple M1 Pro Silicon have shown that performing this additional emulation results in 20-25\% longer verification times compared to those reported in the remainder of this artifact appendix. - Navigate to a convenient folder, in which directories can be created for the purpose of running this artifact. - Open a shell at this folder location. - Create two new folders named `Go-sync` and `C-sync` by executing: