From 44cedd5ea2fd4cffec5a211fc9152b717d885c0b Mon Sep 17 00:00:00 2001 From: Michael George Date: Fri, 17 Dec 2021 09:30:30 -0500 Subject: [PATCH] made scripts executable --- certora/scripts/sanityGovernor.sh | 0 certora/scripts/verifyGovernor.sh | 0 2 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 certora/scripts/sanityGovernor.sh mode change 100644 => 100755 certora/scripts/verifyGovernor.sh diff --git a/certora/scripts/sanityGovernor.sh b/certora/scripts/sanityGovernor.sh old mode 100644 new mode 100755 diff --git a/certora/scripts/verifyGovernor.sh b/certora/scripts/verifyGovernor.sh old mode 100644 new mode 100755