projects
/
cdsspec-compiler.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
299acd1
)
README: add bit on MODEL_ASSERT() macro
author
Brian Norris
<banorris@uci.edu>
Sat, 1 Jun 2013 23:08:16 +0000
(16:08 -0700)
committer
Brian Norris
<banorris@uci.edu>
Sat, 1 Jun 2013 23:08:16 +0000
(16:08 -0700)
README
patch
|
blob
|
history
diff --git
a/README
b/README
index e4a85bd84ef8d7f8c5c4d075770707046a36f15c..3064ce64e3c8cfe1d64c984ce480f5191b0a6e6a 100644
(file)
--- a/
README
+++ b/
README
@@
-136,6
+136,11
@@
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 loading/storing data from/to
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 will report a bug in any possible execution in which the argument to
+MODEL_ASSERT() evaluates to false (that is, 0).
+
Test programs should be compiled against our shared library (libmodel.so) using
the headers in the include/ directory. Then the shared library must be made
available to the dynamic linker, using the LD_LIBRARY_PATH environment
Test programs should be compiled against our shared library (libmodel.so) using
the headers in the include/ directory. Then the shared library must be made
available to the dynamic linker, using the LD_LIBRARY_PATH environment