rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Disable test_run_module_predicate_throw under miri and support rustc < 1.83

Browse Source
This commit is contained in:
Emilie Burgun
2025-02-06 10:37:54 +01:00
parent 22538a05be
commit d4bf52e82c
1 changed files with 5 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src/machine/mod.rs
View File

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