diff options
author | Miodrag Milanović <mmicko@gmail.com> | 2020-09-10 13:37:49 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-10 13:37:49 +0200 |
commit | da3002e580509d3679c2894d748b844a45e54e19 (patch) | |
tree | ae4993854fa0d67fd78cd82dc173c913dee1e8d2 /backends | |
parent | 474cd02eb57ede3ea03ce9ce924c0daa0d5ee8ff (diff) | |
parent | 6224fd9055d91ca640b0c099ac376b39266c480f (diff) | |
download | yosys-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/.gitignore | 1 | ||||
-rw-r--r-- | backends/smv/.gitignore | 1 |
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/ |