edits

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 benchmarks/barrier/testcase -m2 -y -u3 -tSCFENCE &> /scratch/a
 
 real   0m0.060s
 user   0m0.031s