From 9fc4b1dc9856f17df2aca22717494e5fe2b363c0 Mon Sep 17 00:00:00 2001
From: Anh <zenpoems@gmail.com>
Date: Sat, 4 Aug 2018 14:57:45 +0000
Subject: [PATCH] Working tests for STARS/zafl

---
 test/gzip/test_gzip.sh | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

diff --git a/test/gzip/test_gzip.sh b/test/gzip/test_gzip.sh
index 086300d..810d475 100755
--- a/test/gzip/test_gzip.sh
+++ b/test/gzip/test_gzip.sh
@@ -35,7 +35,7 @@ build_zafl()
 	shift
 	$PSZ `which gzip` $gzip_zafl -c move_globals=on -c zafl=on -o move_globals:--elftables -o zipr:--traceplacement:on -o zipr:true $*
 	if [ ! $? -eq 0 ]; then
-		log_error "$gzip_zafl: unable to generate Zafl version"	
+		log_error "$gzip_zafl: unable to generate zafl version"	
 	else
 		log_message "$gzip_zafl: built successfully"
 	fi
@@ -45,17 +45,18 @@ test_zafl()
 {
 	gzip_zafl=$1
 	shift
+
 	LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$SECURITY_TRANSFORMS_HOME/lib/ $gzip_zafl $* $TMP_FILE_1
 	if [ ! $? -eq 0 ]; then
-		log_error "$gzip_zafl $*: unable to gzip file using zafl"
+		log_error "$gzip_zafl $*: unable to gzip file using zafl version"
 	fi
 
 	LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$SECURITY_TRANSFORMS_HOME/lib/ $gzip_zafl -d ${TMP_FILE_1}.gz
 	diff $TMP_FILE_1 $TMP_FILE_2
 	if [ $? -eq 0 ]; then
-		log_success "$gzip_zafl $*: after unzipping, we get the same file back. yeah!"
+		log_success "$gzip_zafl $*: after zipping and unzipping, we get the same file back. yeah!"
 	else
-		log_error "$gzip_zafl $*: after unzipping, we get a diferent file"
+		log_error "$gzip_zafl $*: after zipping and unzipping, we get a diferent file"
 	fi
 }
 
@@ -69,10 +70,10 @@ test_zafl ./gzip.nostars.zafl --best
 cleanup
 
 setup
-build_zafl gzip.zafl
-test_zafl ./gzip.zafl
-test_zafl ./gzip.zafl --fast
-test_zafl ./gzip.zafl --best
+build_zafl gzip.stars.zafl -o zafl:--stars
+test_zafl ./gzip.stars.zafl
+test_zafl ./gzip.stars.zafl --fast
+test_zafl ./gzip.stars.zafl --best
 cleanup
 
 log_success "all tests passed: zafl instrumentation operational on gzip"
-- 
GitLab