X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=README.md;h=3557e1db80fcbaebb485df2fd9874d23c1d7fc81;hb=06716c5b7b1acfa9c30998ded82684133cc5bde9;hp=f2a6380a332c8c940659de6e854dda12838afe63;hpb=ba9cc8ef093a985673efc0d440898ae3b6fe0bb5;p=c11tester.git

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
 ---------------------