From 6028be4e79a6c7a7bba381b009666a4489e609b8 Mon Sep 17 00:00:00 2001 From: Christopher Pulte Date: Thu, 3 Jul 2025 11:15:12 +0100 Subject: [PATCH] skip this file that currently times out inconsistently between z3 and cvc5 --- .../{overflow_timeout_3var.c => overflow_timeout_3var.c.skip} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/example-archive/simple-examples/broken/error-timeout/{overflow_timeout_3var.c => overflow_timeout_3var.c.skip} (100%) diff --git a/src/example-archive/simple-examples/broken/error-timeout/overflow_timeout_3var.c b/src/example-archive/simple-examples/broken/error-timeout/overflow_timeout_3var.c.skip similarity index 100% rename from src/example-archive/simple-examples/broken/error-timeout/overflow_timeout_3var.c rename to src/example-archive/simple-examples/broken/error-timeout/overflow_timeout_3var.c.skip