5 commits

Author	SHA1	Message	Date
Robert O'Callahan	8b75c06141	Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.	2025-07-22 10:38:38 +00:00
Xiretza	6224fd9055	Add missing gitignores for test artifacts	2020-08-31 19:43:51 +02:00
Marcin Kościelnicki	cd60f079d6	tests/aiger: Add missing .gitignore	2020-02-15 19:52:21 +01:00
Clifford Wolf	a8c85d1b4b	Update some .gitignore files ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-06-20 14:27:57 +02:00
Clifford Wolf	ea2a21445e	Add tests/aiger/.gitignore ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-04-19 14:04:12 +02:00