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

Add tests for PR #2756

Browse Source
This commit is contained in:
Emilie Burgun
2025-01-07 18:10:50 +01:00
parent 6cedbc33c0
commit eff094cc29
2 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
tests-pl/load-context-unreachable.pl Normal file
View File

@@ -0,0 +1 @@
:- initialization((M = user, loader:load_context(M))).

8
tests/scryer/issues.rs
View File

@@ -25,3 +25,11 @@ fn issue2588_load_html() {
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", "");
}