edits

[model-checker-benchmarks.git] / barrier / result.txt

diff --git a/barrier/result.txt b/barrier/result.txt
index 5eab816eb81cc954d85ff720e0a482858794b489..bdfe6dd4051ee10a4cd865a5d3fc81dd9dd22d29 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 -o weaken &> /scratch/a
+./run.sh barrier/testcase -m2 -y -u3 -tSCFENCE &> /scratch/a
 
 real   0m0.060s
 user   0m0.031s