From 6776cc6ee47ac0109e24c86af5951958adfd082c Mon Sep 17 00:00:00 2001
From: Aleksander Kryukov <58052996+RedLikeRosesss@users.noreply.github.com>
Date: Tue, 2 Nov 2021 14:01:48 +0200
Subject: [PATCH] ignore certora's generated files

---
 .gitignore | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.gitignore b/.gitignore
index 0a62cf0b3..c60c5d945 100644
--- a/.gitignore
+++ b/.gitignore
@@ -57,3 +57,8 @@ allFiredEvents
 # hardhat
 cache
 artifacts
+
+# Certora
+.certora*
+.last_confs
+certora_*