From 5a7cc50974540d9f24c9adb64092233b10dd216c Mon Sep 17 00:00:00 2001 From: Thomas Adams Date: Mon, 6 Jun 2022 11:25:48 -0700 Subject: [PATCH] Modified burnable verification script to follow script naming convention --- .../{verifyERC1155BurnableAll.sh => verifyERC1155Burnable.sh} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename certora/scripts/{verifyERC1155BurnableAll.sh => verifyERC1155Burnable.sh} (100%) diff --git a/certora/scripts/verifyERC1155BurnableAll.sh b/certora/scripts/verifyERC1155Burnable.sh similarity index 100% rename from certora/scripts/verifyERC1155BurnableAll.sh rename to certora/scripts/verifyERC1155Burnable.sh