From c0a6ac508eb5dfeb0d9e87da7a24477e8c7afb80 Mon Sep 17 00:00:00 2001
From: Jason Hiser <jdhiser@gmail.com>
Date: Fri, 30 Nov 2018 16:01:29 +0000
Subject: [PATCH] mvpA-C configs

Former-commit-id: db9d1483e0f3bbd3f352ad2b1b4dac71de2b4456
---
 .../cfar_probBilr_probP1_probSS_probHeaprand_zipr.sh   | 10 ++++++++++
 ...tNoc_structP1Canaries_structSS_probHeaprand_zipr.sh | 10 ++++++++++
 2 files changed, 20 insertions(+)
 create mode 100755 tools/cfar_configs/cfar_probBilr_probP1_probSS_probHeaprand_zipr.sh
 create mode 100755 tools/cfar_configs/cfar_structNoc_structP1Canaries_structSS_probHeaprand_zipr.sh

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 000000000..1aba5fab4
--- /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 000000000..b06cd3f56
--- /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_//")
-- 
GitLab