From: weiyu <weiyuluo1232@gmail.com>
Date: Wed, 21 Sep 2022 20:29:43 +0000 (-0700)
Subject: Update readme
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain

Update readme
---

diff --git a/README.md b/README.md
index f2a6380a..3557e1db 100644
--- a/README.md
+++ b/README.md
@@ -58,12 +58,8 @@ Useful Options
 Benchmarks
 -------------------
 
-Many simple tests are located in the `test/` directory.  These are
-manually instrumented and can just be run.
-
-You may also want to try the larger benchmarks (distributed
-separately).  These require LLVM to instrument.
-
+The benchmarks are distributed separately.  These require LLVM to instrument.
+You may also follow the steps in the Artifact Appendix of our paper (https://dl.acm.org/doi/abs/10.1145/3445814.3446711) to run the benchmarks.
 
 Running your own code
 ---------------------