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

diff --git a/tests-pl/discussion3359.pl b/tests-pl/discussion3359.pl
index c9402a6c804ef7d8b4cf329d2a9f672db7648aec..efb84cc53a9eb9a498dee85f4eb85b2f536930eb 100644 (file)
--- 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 d38ba20a18ac1185ea5c4c1f9756ee9bb1930cd4..ac8c21d98c5b99d08f4f96df204545b9f8bca57b 100644 (file)
--- 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", "");