mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-31 14:17:47 +00:00
Code Activity

ignore ostrich files under tests

Browse source
This commit is contained in:
Nikolaj Bjorner 2026-05-03 13:59:37 -07:00
parent 266008e81f
commit b199b0782a
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.gitignore vendored
View file

@ -94,6 +94,7 @@ src/api/ml/z3.mllib
src/api/js/node_modules/ src/api/js/node_modules/
src/api/js/build/ src/api/js/build/
src/api/js/**/*.__GENERATED__.* src/api/js/**/*.__GENERATED__.*
tests/ostrich
debug/* debug/*
examples/python/z3 examples/python/z3
examples/python/libz3.dll examples/python/libz3.dll