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", "");