From 3c9548186ff354eeb93e6d850d3de61a884ed089 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 13 Aug 2013 21:13:14 -0700 Subject: [PATCH 1/1] README.md: reverse store/load --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 1002ef2..73173c7 100644 --- a/README.md +++ b/README.md @@ -152,8 +152,8 @@ from ``). Test programs may also use our included happens-before race detector by including and utilizing the appropriate functions -(`store_{8,16,32,64}()` and `load_{8,16,32,64}()`) for loading/storing data from/to -non-atomic shared memory. +(`store_{8,16,32,64}()` and `load_{8,16,32,64}()`) for storing/loading data +to/from non-atomic shared memory. CDSChecker can also check boolean assertions in your test programs. Just include `` and use the `MODEL_ASSERT()` macro in your test program. -- 2.34.1