From 2c072cfecad51f97630a95973150a400d5e4f78a Mon Sep 17 00:00:00 2001
From: Johannes Hostert <jhostert@ethz.ch>
Date: Fri, 15 Nov 2024 12:45:07 +0100
Subject: [PATCH] make the supervisor happy by adding random hints to the
 readme

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index c5827231..717e9061 100644
--- a/README.md
+++ b/README.md
@@ -22,6 +22,7 @@ Once you got opam set up, run `make build-dep` to install the right versions
 of the dependencies.
 
 Then run `make` to build everything.
+Note that the project contains some `Check` and `Print Assumptions` for key lemmas, which will be printed when you run `make`. Don't be scared.
 
 ## Structure
 Our fork of simuliris in particular includes the upstream version, which proves things about Simuliris, or about data races (in weak memory model), which is part of this archive file but not relevant for the paper.
-- 
GitLab