Merge pull request #37 from nicdard/feat/bug-tracking

Bug tracking
nicdard · May 10, 2022 · 102f4f6 · 102f4f6
2 parents 292c2f2 + 5a6c8f0
commit 102f4f6
Show file tree

Hide file tree

Showing 4 changed files with 928 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,5 @@
-.idea
-__pycache__
+.idea/
+.vscode/
+__pycache__/
 *.dot
-out
+out/
diff --git a/bugs/README.md b/bugs/README.md
@@ -0,0 +1,5 @@
+# Discovered bugs
+## Z3
+| Input                  | Configuration            | Issue                                                                       | Date     |
+|------------------------|--------------------------|-----------------------------------------------------------------------------|----------|
+| [NRA 1](z3/nra-1.smt2) | [config-1](config-1.txt) | [#2650](https://github.com/Z3Prover/z3/issues/2650#issuecomment-1113448263) | 30/04/22 |