fix some more miri errors

probably relevant to mthom/scryer-prolog#2438
This commit is contained in:
Bennet Bleßmann
2024-07-06 03:52:46 +02:00
parent cba81b4dc7
commit 6575b1b573
4 changed files with 21 additions and 20 deletions
-1
View File
@@ -398,7 +398,6 @@ mod tests {
use crate::machine::mock_wam::*;
#[test]
#[cfg_attr(miri, ignore = "blocked on atom_table.rs UB")]
fn copier_tests() {
let mut wam = MockWAM::new();
+1 -1
View File
@@ -292,7 +292,7 @@ mod tests {
}
#[test]
#[cfg_attr(miri, ignore)]
#[cfg_attr(miri, ignore = "blocked on streams.rs UB")]
fn complex_results() {
let mut machine = Machine::new_lib();
machine.load_module_string(