Files
scryer-prolog/tests/scryer/issues.rs
Bennet Bleßmann b32498b37c adjust ignore reason
2024-07-06 18:24:38 +02:00

22 lines
481 B
Rust

use crate::helper::load_module_test;
use serial_test::serial;
// issue #831
#[serial]
#[test]
#[cfg_attr(miri, ignore = "it takes too long to run")]
fn call_0() {
load_module_test(
"tests-pl/issue831-call0.pl",
" error(existence_error(procedure,call/0),call/0).\n",
);
}
// issue #2361
#[serial]
#[test]
#[cfg_attr(miri, ignore = "it takes too long to run")]
fn call_qualification() {
load_module_test("tests-pl/issue2361-call-qualified.pl", "");
}