projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 04d5692)
Add missing gitignores for test artifacts
authorXiretza <xiretza@xiretza.xyz>
Mon, 31 Aug 2020 17:42:10 +0000 (19:42 +0200)
committerXiretza <xiretza@xiretza.xyz>
Mon, 31 Aug 2020 17:43:51 +0000 (19:43 +0200)
backends/btor/.gitignore [new file with mode: 0644] patch | blob
backends/smv/.gitignore [new file with mode: 0644] patch | blob
tests/aiger/.gitignore patch | blob | history

diff --git a/backends/btor/.gitignore b/backends/btor/.gitignore
new file mode 100644 (file)
index 0000000..d23d492
--- /dev/null
+++ b/backends/btor/.gitignore
@@ -0,0 +1 @@
+/test_cells.tmp/
diff --git a/backends/smv/.gitignore b/backends/smv/.gitignore
new file mode 100644 (file)
index 0000000..d23d492
--- /dev/null
+++ b/backends/smv/.gitignore
@@ -0,0 +1 @@
+/test_cells.tmp/
diff --git a/tests/aiger/.gitignore b/tests/aiger/.gitignore
index b76bdb6530619408f08a769350333c9bc52adaa7..54b4a279b717d38dc11016f2f948da433c105ed3 100644 (file)
--- a/tests/aiger/.gitignore
+++ b/tests/aiger/.gitignore
@@ -1,3 +1,3 @@
 /*_ref.v
-/*.aag.log
-/*.aig.log
+/*.log
+/neg.out/