more binaries

Daniel Kroening · Daniel Kroening · commit d4a7cc3e0967 · 2016-07-01T17:56:17.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -26,6 +26,7 @@ regression/ansi-c/tests.log
 regression/cbmc-java/tests.log
 regression/cbmc/tests.log
 src/big-int/test-bigint
+src/big-int/test-bigint.exe
 
 # files stored by editors
 *~
