diff --git a/.gitattributes b/.gitattributes index 7d2dfa5aa48c5f5ea4c5172ff9fff9f4d587b585..6a23e8e87014d53e79c1e5837f61f1f9e3d8f311 100644 --- a/.gitattributes +++ b/.gitattributes @@ -984,11 +984,13 @@ tools/cfar_configs/cfar_structNoc_structP1Canaries_zipr.sh -text tools/cfar_configs/cfar_structNoc_structP1FloatingCanaries_structNos_structNol_structNoh_zipr.sh -text tools/cfar_configs/cfar_structNoc_zipr.sh -text tools/cfar_configs/cfar_structNogOF_phase1_zipr.sh -text +tools/cfar_configs/cfar_structNogOF_probHeaprand_zipr.sh -text tools/cfar_configs/cfar_structNogOF_structSS_phase1_zipr.sh -text tools/cfar_configs/cfar_structNogOF_structSS_probDS_phase1_zipr.sh -text tools/cfar_configs/cfar_structNogOF_structSS_structDSX_phase1_zipr.sh -text tools/cfar_configs/cfar_structNogOF_structSS_structDSX_structSI_phase1_zipr.sh -text tools/cfar_configs/cfar_structNogOF_structSS_structDS_phase1_zipr.sh -text +tools/cfar_configs/cfar_structNogOF_zipr.sh -text tools/cfar_configs/cfar_structNog_phase1_zipr.sh -text tools/cfar_configs/cfar_structNog_structNol_structNoh_structNos_structNoc_probHeaprand_zipr.sh -text tools/cfar_configs/cfar_structNog_structNol_structNoh_structNos_structNoc_structP1Canaries_probHeaprand_zipr.sh -text diff --git a/tools/cfar_configs/cfar_structNogOF_probHeaprand_zipr.sh b/tools/cfar_configs/cfar_structNogOF_probHeaprand_zipr.sh new file mode 100755 index 0000000000000000000000000000000000000000..5e4a803b6d6103a408173dd6abf1dc6a6195fd15 --- /dev/null +++ b/tools/cfar_configs/cfar_structNogOF_probHeaprand_zipr.sh @@ -0,0 +1,6 @@ +#!/bin/bash +source $(dirname $0)/../ps_wrapper.source $0 + + +$PEASOUP_HOME/tools/cfar.sh "$@" --backend zipr --step diehard=on --step-option zipr:"--zipr:seed $$" --structured_noc --step-option zipr:"--large_only:on true" --config_name $(basename $0 .sh|sed "s/cfar_//") --step move_globals=on --step-option zipr:"--large_only:nog_on true --large_only:overflow_protection true" --step-option move_globals:-d --step-option move_globals:.interp --step-option move_globals:--aggressive + diff --git a/tools/cfar_configs/cfar_structNogOF_zipr.sh b/tools/cfar_configs/cfar_structNogOF_zipr.sh new file mode 100755 index 0000000000000000000000000000000000000000..60d6a53341532eb56759c315d8d47868d4fa88e9 --- /dev/null +++ b/tools/cfar_configs/cfar_structNogOF_zipr.sh @@ -0,0 +1,6 @@ +#!/bin/bash +source $(dirname $0)/../ps_wrapper.source $0 + + +$PEASOUP_HOME/tools/cfar.sh "$@" --backend zipr --step-option zipr:"--zipr:seed $$" --structured_noc --step-option zipr:"--large_only:on true" --config_name $(basename $0 .sh|sed "s/cfar_//") --step move_globals=on --step-option zipr:"--large_only:nog_on true --large_only:overflow_protection true" --step-option move_globals:-d --step-option move_globals:.interp --step-option move_globals:--aggressive +