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 | |
| 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
| -rw-r--r-- | backends/btor/.gitignore | 1 | ||||
| -rw-r--r-- | backends/smv/.gitignore | 1 | ||||
| -rw-r--r-- | tests/aiger/.gitignore | 4 |
3 files changed, 4 insertions, 2 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/ diff --git a/tests/aiger/.gitignore b/tests/aiger/.gitignore index b76bdb653..54b4a279b 100644 --- a/tests/aiger/.gitignore +++ b/tests/aiger/.gitignore @@ -1,3 +1,3 @@ /*_ref.v -/*.aag.log -/*.aig.log +/*.log +/neg.out/ |