diff --git a/tools/cfar_configs/cfar_probBilr_probP1_probSS_probHeaprand_zipr.sh b/tools/cfar_configs/cfar_probBilr_probP1_probSS_probHeaprand_zipr.sh new file mode 100755 index 0000000000000000000000000000000000000000..1aba5fab4699a52b3830d508cd2e51b9da622392 --- /dev/null +++ b/tools/cfar_configs/cfar_probBilr_probP1_probSS_probHeaprand_zipr.sh @@ -0,0 +1,10 @@ +#!/bin/bash +source $(dirname $0)/../ps_wrapper.source $0 + +$PEASOUP_HOME/tools/cfar.sh "$@" --backend zipr \ + -c p1transform=on \ + -c stack_stamp=on \ + -c diehard=on \ + --step-option zipr:"--large_only:nog_on true" \ + --config_name $(basename $0 .sh|sed "s/cfar_//") + diff --git a/tools/cfar_configs/cfar_structNoc_structP1Canaries_structSS_probHeaprand_zipr.sh b/tools/cfar_configs/cfar_structNoc_structP1Canaries_structSS_probHeaprand_zipr.sh new file mode 100755 index 0000000000000000000000000000000000000000..b06cd3f56fce16b338e1f9cc3a283e07700e4362 --- /dev/null +++ b/tools/cfar_configs/cfar_structNoc_structP1Canaries_structSS_probHeaprand_zipr.sh @@ -0,0 +1,10 @@ +#!/bin/bash +source $(dirname $0)/../ps_wrapper.source $0 + + +$PEASOUP_HOME/tools/cfar.sh "$@" \ + --backend zipr --structured_noc --step-option zipr:"--zipr:seed $$" --step-option zipr:"--large_only:on true" \ + --step p1transform=on --structured_p1_canaries \ + --step stack_stamp=on --structured_stack_stamp \ + --step diehard=on --structured_heap \ + --config_name $(basename $0 .sh|sed "s/cfar_//")