projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
dd56df4
)
README: update for benchmarks
author
Brian Norris
<banorris@uci.edu>
Wed, 14 Nov 2012 03:45:41 +0000
(19:45 -0800)
committer
Brian Norris
<banorris@uci.edu>
Wed, 14 Nov 2012 03:45:41 +0000
(19:45 -0800)
README
patch
|
blob
|
history
diff --git
a/README
b/README
index de6bbc9f75593abddc29cec6d762a36aeb35a51d..10af03de4e050fb4e4bfdfbbf19199214eb35d30 100644
(file)
--- a/
README
+++ b/
README
@@
-28,3
+28,12
@@
Sample run instructions:
make
export LD_LIBRARY_PATH=.
# run test program
make
export LD_LIBRARY_PATH=.
# run test program
+
+Note that we also provide a series of benchmarks, placed under the benchmarks/
+directory. After building CDSChecker, you can build and run the benchmarks as
+follows:
+
+ cd benchmarks
+ make
+ ./run.sh barrier/barrier -f 10 -m 2 # runs barrier test with fairness/memory liveness
+ ./bench.sh <dir> # run all benchmarks twice, with timing results; all logged to <dir>