From: Brian Norris Date: Wed, 14 Aug 2013 04:13:14 +0000 (-0700) Subject: README.md: reverse store/load X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=commitdiff_plain;h=3c9548186ff354eeb93e6d850d3de61a884ed089 README.md: reverse store/load --- 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.