updated ignore file and minor formatting change
diff --git a/.gitignore b/.gitignore index e43b0f9..f975375 100644 --- a/.gitignore +++ b/.gitignore
@@ -1 +1,3 @@ .DS_Store +aig* +test-aig*
diff --git a/edge-1601-dc1.cfg b/edge-1601-dc1.cfg index 7f5e158..ea9449e 100644 --- a/edge-1601-dc1.cfg +++ b/edge-1601-dc1.cfg
@@ -14,7 +14,6 @@ forks = 10 retry_files_enabled = False - ansible_shell_type=sh gathering = smart fact_caching = jsonfile