From: Danil Platonov <platonov.danil.ivanovich@gmail.com>
Date: Thu, 4 Jun 2026 19:08:36 +0000 (-0700)
Subject: Merge branch 'master' into interrupt_test
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2a0402541958ee13d4ab8461de965a0e5092556b;p=scryer-prolog.git

Merge branch 'master' into interrupt_test
---

2a0402541958ee13d4ab8461de965a0e5092556b
diff --cc tests/scryer/issues.rs
index 95208a4c,52a2b4fc..038a5ec9
--- a/tests/scryer/issues.rs
+++ b/tests/scryer/issues.rs
@@@ -172,14 -174,17 +172,27 @@@ async fn http_open_hanging() 
      );
  }
  
 +#[tokio::test(flavor = "multi_thread")]
 +#[cfg(feature = "repl")]
 +#[cfg(unix)]
 +#[cfg_attr(miri, ignore = "it takes too long to run")]
 +async fn sigint_interrupts_nonterminating_goals() {
 +    load_module_test_with_input(
 +        "tests-pl/issue-interrupt-nontermination.pl",
 +        format!("PROLOG={:?}.", env!("CARGO_BIN_EXE_scryer-prolog")),
 +        "ok\n",
 +    );
+ #[test]
+ #[cfg_attr(miri, ignore = "it takes too long to run")]
+ #[cfg_attr(
+     all(
+         target_arch = "x86",
+         target_os = "linux",
+         target_vendor = "unknown",
+         target_env = "gnu"
+     ),
+     ignore = "FIXME was already broken before d50d42509903dc3cc1841eb757a703753de84754"
+ )]
+ fn discussion3359() {
+     load_module_test("tests-pl/discussion3359.pl", "");
  }