mvpA-C configs

Former-commit-id: db9d1483e0f3bbd3f352ad2b1b4dac71de2b4456

tools/cfar_configs/cfar_probBilr_probP1_probSS_probHeaprand_zipr.sh

+#!/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_//") 
+

tools/cfar_configs/cfar_structNoc_structP1Canaries_structSS_probHeaprand_zipr.sh

+#!/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_//")