Working tests for STARS/zafl

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"