diff --git a/.gitignore b/.gitignore
index 31d4f3a..70d9f64 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,6 +12,8 @@ tests/test_minimal
 tests/tla_faithfulness
 tests/fuzz_test
 tests/prop_test
+tests/bugfix_test
+tests/nimforum_smoke_test
 benchmarks/bench_all
 benchmarks/compare
 clients/nim/tests/test_client
diff --git a/tests/bugfix_test b/tests/bugfix_test
deleted file mode 100755
index 5dccfbf..0000000
Binary files a/tests/bugfix_test and /dev/null differ
diff --git a/tests/nimforum_smoke_test b/tests/nimforum_smoke_test
deleted file mode 100755
index 8af2ce6..0000000
Binary files a/tests/nimforum_smoke_test and /dev/null differ