aboutsummaryrefslogtreecommitdiffstats
path: root/backends
diff options
context:
space:
mode:
authorMiodrag Milanović <mmicko@gmail.com>2020-09-10 13:37:49 +0200
committerGitHub <noreply@github.com>2020-09-10 13:37:49 +0200
commitda3002e580509d3679c2894d748b844a45e54e19 (patch)
treeae4993854fa0d67fd78cd82dc173c913dee1e8d2 /backends
parent474cd02eb57ede3ea03ce9ce924c0daa0d5ee8ff (diff)
parent6224fd9055d91ca640b0c099ac376b39266c480f (diff)
downloadyosys-da3002e580509d3679c2894d748b844a45e54e19.tar.gz
yosys-da3002e580509d3679c2894d748b844a45e54e19.tar.bz2
yosys-da3002e580509d3679c2894d748b844a45e54e19.zip
Merge pull request #2369 from Xiretza/gitignores
Add missing gitignores for test artifacts
Diffstat (limited to 'backends')
-rw-r--r--backends/btor/.gitignore1
-rw-r--r--backends/smv/.gitignore1
2 files changed, 2 insertions, 0 deletions
diff --git a/backends/btor/.gitignore b/backends/btor/.gitignore
new file mode 100644
index 000000000..d23d492d7
--- /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
index 000000000..d23d492d7
--- /dev/null
+++ b/backends/smv/.gitignore
@@ -0,0 +1 @@
+/test_cells.tmp/