1 files changed, 4 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index a90aa1fc..8713e6e4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -34,6 +34,10 @@ rust-tests/target/
 # F*
 .depend
 *.hints
+tests/betree/obj/
+tests/hashmap/obj/
+tests/hashmap_on_disk/obj/
+tests/misc/obj/
 
 # Misc
 /fstar-tests