projects
/
model-checker-benchmarks.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
897165f
)
edits
new-bench
author
Peizhao Ou
<peizhaoo@uci.edu>
Thu, 6 Aug 2015 06:48:05 +0000
(23:48 -0700)
committer
Peizhao Ou
<peizhaoo@uci.edu>
Thu, 6 Aug 2015 06:48:05 +0000
(23:48 -0700)
barrier/result.txt
patch
|
blob
|
history
diff --git
a/barrier/result.txt
b/barrier/result.txt
index bdfe6dd4051ee10a4cd865a5d3fc81dd9dd22d29..104330c80bbcb0d5313607d5ff21361917c888f6 100644
(file)
--- a/
barrier/result.txt
+++ b/
barrier/result.txt
@@
-1,5
+1,5
@@
peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv/benchmarks$ time
-./run.sh barrier/testcase -m2 -y -u3 -tSCFENCE &> /scratch/a
+./run.sh b
enchmarks/b
arrier/testcase -m2 -y -u3 -tSCFENCE &> /scratch/a
real 0m0.060s
user 0m0.031s