Merge pull request #127 from utsaslab/jayashree_dev

Fixing reported issues in Ace
utsaslab · Jan 22, 2019 · aa80c0f · aa80c0f
2 parents ab21ec1 + 2a4f9dd
commit aa80c0f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/ace/ace.py b/ace/ace.py
@@ -58,7 +58,6 @@
 # We currently support : creat, mkdir, falloc, write, dwrite, link, unlink, remove, rename, fsetxattr, removexattr, truncate, mmapwrite, symlink, fsync, fdatasync, sync
 OperationSet = ['creat', 'mkdir', 'falloc', 'write', 'dwrite','mmapwrite', 'link', 'unlink', 'remove', 'rename', 'fsetxattr', 'removexattr', 'truncate', 'fdatasync']
 
-
 #The sequences we want to reach to, to reproduce known bugs.
 expected_sequence = []
 expected_sync_sequence = []
@@ -86,6 +85,8 @@ def SiblingOf(file):
         return 'B'
     elif file == 'B':
         return 'A'
+    elif file == 'AC' :
+	return 'AC'
     elif file == 'test':
         return 'test'
 

diff --git a/copy_diff.sh b/copy_diff.sh
@@ -24,7 +24,7 @@ then
 	fi
 	rm build/diff*
 else
-	if [ -e build/diff* ]
+	if [ -n "$(ls build | grep diff)" ]
 	then
    		rm build/diff*
 		echo -e "${green}${bold} : Passed test${reset}"