Temporarily delete division crash files

rems-project/cerberus#354 implements division so these tests no longer crash. As such, to keep the CI working, this commit temporarily deletes these files (and will re-add them once the PR is merged in).
rems-project · Jul 18, 2024 · 38051eb · 38051eb
1 parent f40062f
commit 38051eb
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 134 deletions.
diff --git a/src/example-archive/c-testsuite/broken/error-crash/00064.err125.c b/src/example-archive/c-testsuite/broken/error-crash/00064.err125.c
diff --git a/src/example-archive/dafny-tutorial/broken/error-crash/binary_search.c b/src/example-archive/dafny-tutorial/broken/error-crash/binary_search.c
diff --git a/...xample-archive/java_program_verification_challenges/broken/error-crash/00004_exceptions.c b/...xample-archive/java_program_verification_challenges/broken/error-crash/00004_exceptions.c
diff --git a/src/example-archive/simple-examples/broken/error-crash/division_crash_1.c b/src/example-archive/simple-examples/broken/error-crash/division_crash_1.c