goblint
diff --git a/‎…regression/88-pentagon/00-even_simpler.c‎ ‎…regression/89-pentagon/00-even_simpler.c‎tests/regression/88-pentagon/00-even_simpler.c renamed to tests/regression/89-pentagon/00-even_simpler.c b/‎…regression/88-pentagon/00-even_simpler.c‎ ‎…regression/89-pentagon/00-even_simpler.c‎tests/regression/88-pentagon/00-even_simpler.c renamed to tests/regression/89-pentagon/00-even_simpler.c
diff --git a/‎…ression/88-pentagon/01-pentagon-simple.c‎ ‎…ression/89-pentagon/01-pentagon-simple.c‎tests/regression/88-pentagon/01-pentagon-simple.c renamed to tests/regression/89-pentagon/01-pentagon-simple.c b/‎…ression/88-pentagon/01-pentagon-simple.c‎ ‎…ression/89-pentagon/01-pentagon-simple.c‎tests/regression/88-pentagon/01-pentagon-simple.c renamed to tests/regression/89-pentagon/01-pentagon-simple.c
diff --git a/‎…/regression/88-pentagon/02-simple-loop.c‎ ‎…/regression/89-pentagon/02-simple-loop.c‎tests/regression/88-pentagon/02-simple-loop.c renamed to tests/regression/89-pentagon/02-simple-loop.c b/‎…/regression/88-pentagon/02-simple-loop.c‎ ‎…/regression/89-pentagon/02-simple-loop.c‎tests/regression/88-pentagon/02-simple-loop.c renamed to tests/regression/89-pentagon/02-simple-loop.c
diff --git a/‎…/88-pentagon/03-lhs-more-than-just-var.c‎ ‎…/89-pentagon/03-lhs-more-than-just-var.c‎tests/regression/88-pentagon/03-lhs-more-than-just-var.c renamed to tests/regression/89-pentagon/03-lhs-more-than-just-var.c b/‎…/88-pentagon/03-lhs-more-than-just-var.c‎ ‎…/89-pentagon/03-lhs-more-than-just-var.c‎tests/regression/88-pentagon/03-lhs-more-than-just-var.c renamed to tests/regression/89-pentagon/03-lhs-more-than-just-var.c
diff --git a/‎…egression/88-pentagon/04-function-call.c‎ ‎…egression/89-pentagon/04-function-call.c‎tests/regression/88-pentagon/04-function-call.c renamed to tests/regression/89-pentagon/04-function-call.c b/‎…egression/88-pentagon/04-function-call.c‎ ‎…egression/89-pentagon/04-function-call.c‎tests/regression/88-pentagon/04-function-call.c renamed to tests/regression/89-pentagon/04-function-call.c
diff --git a/‎tests/regression/88-pentagon/05-loop.c‎ ‎tests/regression/89-pentagon/05-loop.c‎tests/regression/88-pentagon/05-loop.c renamed to tests/regression/89-pentagon/05-loop.c b/‎tests/regression/88-pentagon/05-loop.c‎ ‎tests/regression/89-pentagon/05-loop.c‎tests/regression/88-pentagon/05-loop.c renamed to tests/regression/89-pentagon/05-loop.c
diff --git a/‎tests/regression/88-pentagon/06-subs.c‎ ‎tests/regression/89-pentagon/06-subs.c‎tests/regression/88-pentagon/06-subs.c renamed to tests/regression/89-pentagon/06-subs.c b/‎tests/regression/88-pentagon/06-subs.c‎ ‎tests/regression/89-pentagon/06-subs.c‎tests/regression/88-pentagon/06-subs.c renamed to tests/regression/89-pentagon/06-subs.c
diff --git a/‎…/regression/88-pentagon/07-several-ana.c‎ ‎…/regression/89-pentagon/07-several-ana.c‎tests/regression/88-pentagon/07-several-ana.c renamed to tests/regression/89-pentagon/07-several-ana.c b/‎…/regression/88-pentagon/07-several-ana.c‎ ‎…/regression/89-pentagon/07-several-ana.c‎tests/regression/88-pentagon/07-several-ana.c renamed to tests/regression/89-pentagon/07-several-ana.c
diff --git a/‎wrong_verdicts.md‎
Lines changed: 15 additions & 0 deletions b/‎wrong_verdicts.md‎
Lines changed: 15 additions & 0 deletions
@@ -0,0 +1,15 @@
+# Wrong Verdicts
+
+Hier ist die Liste der Wrong Verdicts:
+
+## Termination
+
+- [termination](https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/blob/main/c/termination-crafted/Bangalore_v2.c)
+- [termination](https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/blob/main/c/termination-restricted-15/NO_24.c)
+
+## Valid Memorysafety
+
+- [valid-memsafety](https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/blob/main/c/termination-15/cstrcat_reverse_alloca.c)
+
+## Unreach Call
+- [unreach-call](https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/blob/main/c/loops/verisec_OpenSER_cases1_stripFullBoth_arr.c)