added harden.log to .gitignore

stevej · Nov 6, 2024 · 83d7021 · 83d7021
1 parent 50ce1ee
commit 83d7021
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -17,4 +17,5 @@ src/formal/
 src/formal_bmc/
 src/formal_cover/
 src/formal_prove/
+harden.log
 ~