From b199b0782a8b6e8a56b0b1fdf172c60f99c49d6b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 3 May 2026 13:59:37 -0700
Subject: [PATCH] ignore ostrich files under tests

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 29a4c1b18..cfa4ed939 100644
--- a/.gitignore
+++ b/.gitignore
@@ -94,6 +94,7 @@ src/api/ml/z3.mllib
 src/api/js/node_modules/
 src/api/js/build/
 src/api/js/**/*.__GENERATED__.*
+tests/ostrich
 debug/*
 examples/python/z3
 examples/python/libz3.dll