diff --git a/.gitattributes b/.gitattributes index df43326f4b4d5b6792ce0c9d0abe6a6fdfa575b8..add588f0b610a6020b785a3d93da13f750e917fc 100644 --- a/.gitattributes +++ b/.gitattributes @@ -6335,6 +6335,7 @@ tools/ps_analyze4.sh -text tools/ps_analyze64.sh -text tools/ps_analyze_c2e.sh -text tools/ps_analyze_cgc.sh -text +tools/ps_analyze_rigrandom.sh -text tools/ps_analyze_sol.sh -text tools/ps_comp++.sh -text tools/ps_comp.sh -text diff --git a/tools/ps_analyze_rigrandom.sh b/tools/ps_analyze_rigrandom.sh new file mode 100755 index 0000000000000000000000000000000000000000..6dd8e8b144a08ebe49dc6b1ef671335029ec1f63 --- /dev/null +++ b/tools/ps_analyze_rigrandom.sh @@ -0,0 +1,15 @@ +#!/bin/bash + +in=$1 +out=$2 +random_char=$3 + +# chop off the last argument before passing args to ps_analyze +length=$(($#-1)) +argv=${@:1:$length} + +$PEASOUP_HOME/tools/ps_analyze.sh $argv \ + --backend zipr \ + --step rigrandom=on \ + --step-option $random_char \ + --step gather_libraries=off \