From 53af1ec3c60664ed79598e8b8bdc12d7ad6173e8 Mon Sep 17 00:00:00 2001
From: Niv vaknin <122722245+nivcertora@users.noreply.github.com>
Date: Sun, 18 Feb 2024 14:15:23 +0200
Subject: [PATCH] fix naming (#58)

---
 CVLByExample/Ecrecover/{ecrecover.conf => Fullecrecover.conf} | 0
 CVLByExample/Ecrecover/Readme.md                              | 4 ++--
 2 files changed, 2 insertions(+), 2 deletions(-)
 rename CVLByExample/Ecrecover/{ecrecover.conf => Fullecrecover.conf} (100%)

diff --git a/CVLByExample/Ecrecover/ecrecover.conf b/CVLByExample/Ecrecover/Fullecrecover.conf
similarity index 100%
rename from CVLByExample/Ecrecover/ecrecover.conf
rename to CVLByExample/Ecrecover/Fullecrecover.conf
diff --git a/CVLByExample/Ecrecover/Readme.md b/CVLByExample/Ecrecover/Readme.md
index c44f248d..842861cd 100644
--- a/CVLByExample/Ecrecover/Readme.md
+++ b/CVLByExample/Ecrecover/Readme.md
@@ -8,14 +8,14 @@ This repository contains a smart contract named `Verify` that implements a signa
 1. **Certora Run for ecrecover**
     - Command:
         ```bash
-        certoraRun ecrecover.conf --server production --prover_version master
+        certoraRun Fullecrecover.conf --server production --prover_version master
         ```
     - Execution Link: [Certora Run Output](https://prover.certora.com/output/1512/01ce19bfd3fa4a3b98e216bf2c085c24?anonymousKey=f85d1e9348a4e5f8293700660f90f41eb96aa83e)
 
 2. **Certora Mutate**
     - Command:
         ```bash
-        certoraMutate --mutation_conf mutation.mconf --prover_conf ecrecover.conf --server production
+        certoraMutate --mutation_conf mutation.mconf --prover_conf Fullecrecover.conf --server production
         ```
     - Mutation Link: [Certora Mutate Output](https://mutation-testing.certora.com/?id=71f2ffd2-80ea-47b5-b3b9-29cc73c91752&anonymousKey=d3f0379a-9a60-4b34-9edb-7210e763a91e)