scryer-prolog/tests/scryer/issues.rs

use crate::helper::load_module_test;
#[cfg(not(target_arch = "wasm32"))]
use crate::helper::load_module_test_with_tokio_runtime;
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",
    );
}

#[test]
#[cfg_attr(miri, ignore = "unsupported operation when isolation is enabled")]
fn issue2588_load_html() {
    load_module_test("tests-pl/issue2588.pl", "[element(html,[],[element(head,[],[element(title,[],[[H,e,l,l,o,!]])]),element(body,[],[])])]");
}

#[test]
#[cfg_attr(miri, ignore = "unsupported operation when isolation is enabled")]
fn issue2949_load_html() {
    load_module_test("tests-pl/issue2949.pl", "[doctype([h,t,m,l]),element(html,[],[element(head,[],[element(title,[],[[H,e,l,l,o,!]])]),element(body,[],[])])][doctype([h,t,m,l]),element(html,[],[element(head,[],[element(title,[],[[H,e,l,l,o,!]]),comment([ ,c,o,m,m,e,n,t, ])]),element(body,[],[])])][comment([]),element(html,[],[element(head,[],[]),element(body,[],[])])]");
}

// 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", "");
}

// PR #2756: ensures that calling load_context with a bound variable doesn't trigger unreachable!()
#[serial]
#[test]
#[cfg_attr(miri, ignore = "it takes too long to run")]
fn load_context_unreachable() {
    load_module_test("tests-pl/load-context-unreachable.pl", "");
}

// Issue #2725: A dcg of the form `id(X) --> X.` would previously trigger an instantiation
// error, as it would call `strip_module(X, M, P)` and later `call(M:P)`,
// but `strip_module` left `M` uninstanciated if the `module:` prefix was unspecified.
#[serial]
#[test]
#[cfg_attr(miri, ignore = "it takes too long to run")]
fn issue2725_dcg_without_module() {
    load_module_test("tests-pl/issue2725.pl", "");
}

#[serial]
#[test]
#[cfg_attr(miri, ignore = "it takes too long to run")]
fn issue_delete_directory() {
    load_module_test("tests-pl/issue_delete_directory.pl", "directory_deleted");
}

#[serial]
#[test]
#[cfg_attr(miri, ignore = "it takes too long to run")]
fn issue_delete_file() {
    load_module_test("tests-pl/issue_delete_file.pl", "file_deleted");
}

#[serial]
#[test]
#[cfg_attr(miri, ignore = "it takes too long to run")]
fn issue_directory_exists() {
    load_module_test("tests-pl/issue_directory_exists.pl", "");
}

#[serial]
#[test]
#[cfg_attr(miri, ignore = "it takes too long to run")]
fn issue_directory_files() {
    load_module_test("tests-pl/issue_directory_files.pl", "1");
}

#[serial]
#[test]
#[cfg_attr(miri, ignore = "it takes too long to run")]
fn issue_file_copy() {
    load_module_test("tests-pl/issue_file_copy.pl", "file_copied");
}

#[serial]
#[test]
#[cfg_attr(miri, ignore = "it takes too long to run")]
fn issue_file_exists() {
    load_module_test("tests-pl/issue_file_exists.pl", "");
}

#[serial]
#[test]
#[cfg_attr(miri, ignore = "it takes too long to run")]
fn issue_file_size() {
    load_module_test("tests-pl/issue_file_size.pl", "");
}

#[serial]
#[test]
#[cfg_attr(miri, ignore = "it takes too long to run")]
fn issue_file_time() {
    load_module_test("tests-pl/issue_file_time.pl", "");
}

#[serial]
#[test]
#[cfg_attr(miri, ignore = "it takes too long to run")]
fn issue_make_directory() {
    load_module_test("tests-pl/issue_make_directory.pl", "directory_made");
}

#[serial]
#[test]
#[cfg_attr(miri, ignore = "it takes too long to run")]
fn issue_make_directory_path() {
    load_module_test(
        "tests-pl/issue_make_directory_path.pl",
        "directory_path_made",
    );
}

#[serial]
#[test]
#[cfg_attr(miri, ignore = "it takes too long to run")]
fn issue_path_canonical() {
    load_module_test("tests-pl/issue_path_canonical.pl", "path_canonicalized");
}

#[serial]
#[test]
#[cfg_attr(miri, ignore = "it takes too long to run")]
fn issue_rename_file() {
    load_module_test("tests-pl/issue_rename_file.pl", "file_renamed");
}

#[test]
#[cfg(feature = "http")]
#[cfg(not(target_arch = "wasm32"))]
#[cfg_attr(miri, ignore = "it takes too long to run")]
#[cfg_attr(not(miri), ignore = "flaky due to network requests")]
fn http_open_hanging() {
    load_module_test_with_tokio_runtime(
        "tests-pl/issue-http_open-hanging.pl",
            "received response with status code:200\nreceived response with status code:200\nreceived response with status code:200\nreceived response with status code:200\nreceived response with status code:200\n"
    );
}

#[test]
#[cfg_attr(miri, ignore = "ffi")]
fn ffi_utf8_panic() {
    let tmp_dir: &std::path::Path = env!("CARGO_TARGET_TMPDIR").as_ref();
    let name = "ffi_utf8_panic";
    let src = r##"
        #[unsafe(no_mangle)]
        extern "C" fn ffi_invalid_utf8_cstr() -> *const core::ffi::c_char {
            c"Invalid\xFFUTF8".as_ptr()
        }
    "##;

    let mut child = std::process::Command::new("rustc")
        .stdin(std::process::Stdio::piped())
        .args(["--edition", "2024"])
        .arg(format!("--target={}", current_platform::CURRENT_PLATFORM))
        .arg("--crate-type=dylib")
        .arg(format!("--crate-name={name}"))
        .arg("--out-dir")
        .arg(tmp_dir)
        .arg("-")
        .spawn()
        .unwrap();

    use std::io::Write;
    child
        .stdin
        .take()
        .unwrap()
        .write_all(src.as_bytes())
        .unwrap();
    assert!(child.wait().unwrap().success());

    let dynlib_path = tmp_dir.join(format!(
        "{}{name}{}",
        std::env::consts::DLL_PREFIX,
        std::env::consts::DLL_SUFFIX
    ));

    crate::helper::load_module_test_with_input(
        "tests-pl/ffi_utf8_panic.pl",
        format!("LIB={dynlib_path:?}."),
        // Evaluates to: 'Invalid\xFFUTF8\n'
        "[73,110,118,97,108,105,100,255,85,84,70,56]\n",
    );
}