From 6224fd9055d91ca640b0c099ac376b39266c480f Mon Sep 17 00:00:00 2001 From: Xiretza Date: Mon, 31 Aug 2020 19:42:10 +0200 Subject: [PATCH] Add missing gitignores for test artifacts --- backends/btor/.gitignore | 1 + backends/smv/.gitignore | 1 + tests/aiger/.gitignore | 4 ++-- 3 files changed, 4 insertions(+), 2 deletions(-) create mode 100644 backends/btor/.gitignore create mode 100644 backends/smv/.gitignore 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/ -- 2.30.2