projects
/
c11tester.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
41f1a1c
)
README.md: reverse store/load
author
Brian Norris
<banorris@uci.edu>
Wed, 14 Aug 2013 04:13:14 +0000
(21:13 -0700)
committer
Brian Norris
<banorris@uci.edu>
Wed, 14 Aug 2013 04:13:14 +0000
(21:13 -0700)
README.md
patch
|
blob
|
history
diff --git
a/README.md
b/README.md
index 1002ef2f95fd070094972bdc1d0351d994235a5a..73173c737c5ed9a6dded95c7fabfc2b9023d7b4b 100644
(file)
--- a/
README.md
+++ b/
README.md
@@
-152,8
+152,8
@@
from `<thread.h>`).
Test programs may also use our included happens-before race detector by
including <librace.h> and utilizing the appropriate functions
Test programs may also use our included happens-before race detector by
including <librace.h> 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 `<model-assert.h>` and use the `MODEL_ASSERT()` macro in your test program.
CDSChecker can also check boolean assertions in your test programs. Just
include `<model-assert.h>` and use the `MODEL_ASSERT()` macro in your test program.