From: Emilie Burgun <emilie@shadamethyst.xyz>
Date: Thu, 6 Feb 2025 09:37:54 +0000 (+0100)
Subject: Disable test_run_module_predicate_throw under miri and support rustc < 1.83
X-Git-Tag: v0.10.0~70^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d4bf52e82c131882fbc2f7fd213ea39548ed78b6;p=scryer-prolog.git

Disable test_run_module_predicate_throw under miri and support rustc < 1.83
---

diff --git a/src/machine/mod.rs b/src/machine/mod.rs
index cbd99c53..bfa4f7b0 100644
--- a/src/machine/mod.rs
+++ b/src/machine/mod.rs
@@ -1272,18 +1272,17 @@ mod tests {
     use super::*;
 
     #[test]
+    #[cfg_attr(miri, ignore)]
     fn test_run_module_predicate_throw() {
         let mut machine = MachineBuilder::default()
             .with_toplevel(
                 r#"
-            :- module('$toplevel', []).
-            repl :- throw(kaboom).
-        "#,
+                    :- module('$toplevel', []).
+                    repl :- throw(kaboom).
+                "#,
             )
             .build();
 
-        let query = machine.run_module_predicate(atom!("$toplevel"), (atom!("repl"), 0));
-
-        assert_eq!(query, std::process::ExitCode::SUCCESS);
+        machine.run_module_predicate(atom!("$toplevel"), (atom!("repl"), 0));
     }
 }