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

update ignore reason

Browse Source
This commit is contained in:
Bennet Bleßmann
2024-07-06 04:01:41 +02:00
parent d2d451b182
commit ce40f8f10c
3 changed files with 9 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
src/machine/lib_machine.rs
View File

@@ -238,7 +238,7 @@ mod tests {
use crate::machine::{QueryMatch, QueryResolution, Value}; use crate::machine::{QueryMatch, QueryResolution, Value};
#[test] #[test]
#[cfg_attr(miri, ignore = "blocked on streams.rs UB")] #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
fn programatic_query() { fn programatic_query() {
let mut machine = Machine::new_lib(); let mut machine = Machine::new_lib();
@@ -278,7 +278,7 @@ mod tests {
} }
#[test] #[test]
#[cfg_attr(miri, ignore = "blocked on streams.rs UB")] #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
fn failing_query() { fn failing_query() {
let mut machine = Machine::new_lib(); let mut machine = Machine::new_lib();
let query = String::from(r#"triple("a",P,"b")."#); let query = String::from(r#"triple("a",P,"b")."#);
@@ -292,7 +292,7 @@ mod tests {
} }
#[test] #[test]
#[cfg_attr(miri, ignore = "blocked on streams.rs UB")] #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
fn complex_results() { fn complex_results() {
let mut machine = Machine::new_lib(); let mut machine = Machine::new_lib();
machine.load_module_string( machine.load_module_string(
@@ -349,7 +349,7 @@ mod tests {
} }
#[test] #[test]
#[cfg_attr(miri, ignore = "blocked on streams.rs UB")] #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
fn empty_predicate() { fn empty_predicate() {
let mut machine = Machine::new_lib(); let mut machine = Machine::new_lib();
machine.load_module_string( machine.load_module_string(
@@ -365,7 +365,7 @@ mod tests {
} }
#[test] #[test]
#[cfg_attr(miri, ignore = "blocked on streams.rs UB")] #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
fn list_results() { fn list_results() {
let mut machine = Machine::new_lib(); let mut machine = Machine::new_lib();
machine.load_module_string( machine.load_module_string(
@@ -394,7 +394,7 @@ mod tests {
} }
#[test] #[test]
#[cfg_attr(miri, ignore = "blocked on streams.rs UB")] #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
fn consult() { fn consult() {
let mut machine = Machine::new_lib(); let mut machine = Machine::new_lib();
@@ -453,7 +453,7 @@ mod tests {
} }
#[test] #[test]
#[cfg_attr(miri, ignore = "blocked on streams.rs UB")] #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
fn integration_test() { fn integration_test() {
let mut machine = Machine::new_lib(); let mut machine = Machine::new_lib();
@@ -500,7 +500,7 @@ mod tests {
} }
#[test] #[test]
#[cfg_attr(miri, ignore = "blocked on streams.rs UB")] #[cfg_attr(miri, ignore = "blocked on libraries.rs UB")]
fn findall() { fn findall() {
let mut machine = Machine::new_lib(); let mut machine = Machine::new_lib();

2
src/machine/stack.rs
View File

@@ -281,7 +281,7 @@ mod tests {
use crate::machine::mock_wam::*; use crate::machine::mock_wam::*;
#[test] #[test]
#[cfg_attr(miri, ignore)] #[cfg_attr(miri, ignore = "blocked on stack.rs UB")]
fn stack_tests() { fn stack_tests() {
let mut wam = MockWAM::new(); let mut wam = MockWAM::new();

3
src/parser/char_reader.rs
View File

@@ -379,7 +379,6 @@ mod tests {
use std::io::Cursor; use std::io::Cursor;
#[test] #[test]
#[cfg_attr(miri, ignore = "slow and not very relevant")]
fn plain_string() { fn plain_string() {
let mut read_string = CharReader::new(Cursor::new("a string")); let mut read_string = CharReader::new(Cursor::new("a string"));
@@ -392,7 +391,6 @@ mod tests {
} }
#[test] #[test]
#[cfg_attr(miri, ignore = "slow and not very relevant")]
fn greek_string() { fn greek_string() {
let mut read_string = CharReader::new(Cursor::new("λέξη")); let mut read_string = CharReader::new(Cursor::new("λέξη"));
@@ -405,7 +403,6 @@ mod tests {
} }
#[test] #[test]
#[cfg_attr(miri, ignore = "slow and not very relevant")]
fn russian_string() { fn russian_string() {
let mut read_string = CharReader::new(Cursor::new("слово")); let mut read_string = CharReader::new(Cursor::new("слово"));