From 174cd078fb0caa21b8e776acfcfd9c21f747c924 Mon Sep 17 00:00:00 2001
From: AngeloJacobo <jacobo.angeloECE@gmail.com>
Date: Sun, 28 Jul 2024 17:39:58 +0800
Subject: [PATCH] ignore formal outputs

---
 .gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index fb26e42..1865f26 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
-formal/ddr3_multiconfig_prf*
+formal/ddr3_multiconfig*prf*
+formal/ecc/
 formal/ddr3_singleconfig/
 example_demo/nexys_video/build/