From 2b757de73a1c9ad96563426c562a8daac756b9b0 Mon Sep 17 00:00:00 2001 From: Skgland Date: Fri, 5 Jun 2026 20:27:22 +0200 Subject: [PATCH] adjust regression test for discussion 3359 - incorporate fix from https://github.com/mthom/scryer-prolog/commit/3a2d57db33d49139d13c1e8cfba6eb3d79bcec19#commitcomment-187528793 - mark as should panic rather than ignored, this ensures that the test will be updated should this get fixed --- tests-pl/discussion3359.pl | 4 ++-- tests/scryer/issues.rs | 3 ++- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/tests-pl/discussion3359.pl b/tests-pl/discussion3359.pl index c9402a6c..efb84cc5 100644 --- a/tests-pl/discussion3359.pl +++ b/tests-pl/discussion3359.pl @@ -1,4 +1,4 @@ -:- use_module(library(clpz)). +:- use_module(library(dcgs)). :- use_module(library(tabling)). :- table expr//0. @@ -8,4 +8,4 @@ expr --> expr, "+", expr. run :- phrase(expr, "1+1+1+1+1"). -:- initialization(run). \ No newline at end of file +:- initialization(run). diff --git a/tests/scryer/issues.rs b/tests/scryer/issues.rs index d38ba20a..ac8c21d9 100644 --- a/tests/scryer/issues.rs +++ b/tests/scryer/issues.rs @@ -186,6 +186,7 @@ async fn sigint_interrupts_nonterminating_goals() { #[test] #[cfg_attr(miri, ignore = "it takes too long to run")] +// FIXME this shouldn't panic an i686-linux-unknown-gnu, was already broken before d50d42509903dc3cc1841eb757a703753de84754 #[cfg_attr( all( target_arch = "x86", @@ -193,7 +194,7 @@ async fn sigint_interrupts_nonterminating_goals() { target_vendor = "unknown", target_env = "gnu" ), - ignore = "FIXME was already broken before d50d42509903dc3cc1841eb757a703753de84754" + should_panic )] fn discussion3359() { load_module_test("tests-pl/discussion3359.pl", ""); -- 2.54.0