From db43074afa41955da3ea8def20808e709c589b60 Mon Sep 17 00:00:00 2001 From: Peizhao Ou Date: Wed, 5 Aug 2015 23:48:05 -0700 Subject: [PATCH] edits --- barrier/result.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.34.1