Setup default zafl config with test programs

Former-commit-id: c76bf375e62c320d6ba180d63caa4bc8cf1c6275

tests/test_cmds.sh

@@ -17,11 +17,10 @@
 #configs="killdeads_strata"
 #configs="ibtl ibtl_p1"
 #configs="zipr scfi p1"
-configs="zafl_ida_nostars zafl_ida"
+configs="zafl"
 
 # specify programs to test
 orig_progs="bzip2 grep du ncal ls objdump readelf sort tar touch tcpdump"
-orig_progs="tcpdump"
 build_only=0
 
 export IB_VERBOSE=1
@@ -72,7 +71,7 @@ do
         
 	case $config in
 		zafl)
-			zafl.sh $progpath $protected --rida --tempdir $temp_dir > test_${prog}.ps.log 2>&1
+			zafl.sh $progpath $protected --tempdir $temp_dir > test_${prog}.ps.log 2>&1
 		;;
 		zafl_ida)
 			zafl.sh $progpath $protected --ida --tempdir $temp_dir > test_${prog}.ps.log 2>&1