projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
impatomic: silence more clang warnings
[model-checker.git]
/
README.md
diff --git
a/README.md
b/README.md
index 73173c737c5ed9a6dded95c7fabfc2b9023d7b4b..de8c3ef5c18699cf6d1b499b32c16c38ac920c5c 100644
(file)
--- a/
README.md
+++ b/
README.md
@@
-147,8
+147,9
@@
program should declare its main entry point as `user_main(int, char**)` rather
than `main(int, char**)`.
Third, test programs must use the standard C11/C++11 library headers (see below
than `main(int, char**)`.
Third, test programs must use the standard C11/C++11 library headers (see below
-for supported APIs). Notably, we only support C11 thread syntax (`thrd_t`, etc.
-from `<thread.h>`).
+for supported APIs) and must compile against the versions provided in
+CDSChecker's `include/` directory. Notably, we only support C11 thread syntax
+(`thrd_t`, etc. 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