diff options
| author | Xiretza <xiretza@xiretza.xyz> | 2020-08-31 19:42:10 +0200 |
|---|---|---|
| committer | Xiretza <xiretza@xiretza.xyz> | 2020-08-31 19:43:51 +0200 |
| commit | 6224fd9055d91ca640b0c099ac376b39266c480f (patch) | |
| tree | 5d8a7be5d11dd64c6b9489d9d577048e4653f18e /backends/btor | |
| parent | 04d5692a852008ec82dec78a6f639d110c6bb3a9 (diff) | |
| download | yosys-6224fd9055d91ca640b0c099ac376b39266c480f.tar.gz yosys-6224fd9055d91ca640b0c099ac376b39266c480f.tar.bz2 yosys-6224fd9055d91ca640b0c099ac376b39266c480f.zip | |
Add missing gitignores for test artifacts
Diffstat (limited to 'backends/btor')
| -rw-r--r-- | backends/btor/.gitignore | 1 |
1 files changed, 1 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/ |