14 lines
298 B
Rust
14 lines
298 B
Rust
use crate::helper::load_module_test;
|
|
use serial_test::serial;
|
|
|
|
// issue #831
|
|
#[serial]
|
|
#[test]
|
|
#[cfg_attr(miri, ignore = "blocked on streams.rs UB")]
|
|
fn call_0() {
|
|
load_module_test(
|
|
"tests-pl/issue831-call0.pl",
|
|
" error(existence_error(procedure,call/0),call/0).\n",
|
|
);
|
|
}
|