From 60bb29e01e1d08b900ba05718a40924dbef5a4ea Mon Sep 17 00:00:00 2001 From: Christopher Pulte Date: Tue, 29 Sep 2026 20:13:09 +0100 Subject: [PATCH] more --- .../broken/{error-proof => error-cerberus}/00182.err2.c | 0 .../broken/{error-proof => error-cerberus}/00200.err2.c | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename src/example-archive/c-testsuite/broken/{error-proof => error-cerberus}/00182.err2.c (100%) rename src/example-archive/c-testsuite/broken/{error-proof => error-cerberus}/00200.err2.c (100%) diff --git a/src/example-archive/c-testsuite/broken/error-proof/00182.err2.c b/src/example-archive/c-testsuite/broken/error-cerberus/00182.err2.c similarity index 100% rename from src/example-archive/c-testsuite/broken/error-proof/00182.err2.c rename to src/example-archive/c-testsuite/broken/error-cerberus/00182.err2.c diff --git a/src/example-archive/c-testsuite/broken/error-proof/00200.err2.c b/src/example-archive/c-testsuite/broken/error-cerberus/00200.err2.c similarity index 100% rename from src/example-archive/c-testsuite/broken/error-proof/00200.err2.c rename to src/example-archive/c-testsuite/broken/error-cerberus/00200.err2.c