X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=linuxrwlocks%2Fresult1.txt;fp=linuxrwlocks%2Fresult1.txt;h=e992b3d173bf0a0d7459d12b59416e24ff44305a;hb=897165f73e9501261756fc8d3ead29013f4b022f;hp=27838a5dec5d2b4c34f5757018a87c9e59e4eb65;hpb=bcf1fb7754f46ced745cfdb98310ad7114f1739a;p=model-checker-benchmarks.git

diff --git a/linuxrwlocks/result1.txt b/linuxrwlocks/result1.txt
index 27838a5..e992b3d 100644
--- a/linuxrwlocks/result1.txt
+++ b/linuxrwlocks/result1.txt
@@ -1,5 +1,5 @@
-peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv$ time ./run.sh
-benchmarks/linuxrwlocks/testcase1 -m2 -y -u3 -tSCFENCE -o weaken &> /scratch/a
+peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv$
+time ./run.sh benchmarks/linuxrwlocks/testcase1 -m2 -y -u3 -tSCFENCE &> /scratch/a
 
 real	1m58.120s
 user	1m56.110s