X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=barrier%2Fresult.txt;h=104330c80bbcb0d5313607d5ff21361917c888f6;hb=db43074afa41955da3ea8def20808e709c589b60;hp=bdfe6dd4051ee10a4cd865a5d3fc81dd9dd22d29;hpb=897165f73e9501261756fc8d3ead29013f4b022f;p=model-checker-benchmarks.git

diff --git a/barrier/result.txt b/barrier/result.txt
index bdfe6dd..104330c 100644
--- 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 benchmarks/barrier/testcase -m2 -y -u3 -tSCFENCE &> /scratch/a
 
 real	0m0.060s
 user	0m0.031s