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

Merge pull request #3363 from Skgland/adjust-discussion-3359-test

Browse Source 
adjust regression test for discussion 3359
This commit is contained in:
Mark Thom
2026-06-05 13:55:21 -07:00
committed by GitHub
parent ffb77473b2 2b757de73a
commit e12d3f14c1
2 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tests-pl/discussion3359.pl
View File

@@ -1,4 +1,4 @@
:- use_module(library(clpz)). :- use_module(library(dcgs)).
:- use_module(library(tabling)). :- use_module(library(tabling)).
:- table expr//0. :- table expr//0.
@@ -8,4 +8,4 @@ expr --> expr, "+", expr.
run :- phrase(expr, "1+1+1+1+1"). run :- phrase(expr, "1+1+1+1+1").
:- initialization(run). :- initialization(run).

3
tests/scryer/issues.rs
View File

@@ -186,6 +186,7 @@ async fn sigint_interrupts_nonterminating_goals() {
#[test] #[test]
#[cfg_attr(miri, ignore = "it takes too long to run")] #[cfg_attr(miri, ignore = "it takes too long to run")]
// FIXME this shouldn't panic an i686-linux-unknown-gnu, was already broken before d50d42509903dc3cc1841eb757a703753de84754
#[cfg_attr( #[cfg_attr(
all( all(
target_arch = "x86", target_arch = "x86",
@@ -193,7 +194,7 @@ async fn sigint_interrupts_nonterminating_goals() {
target_vendor = "unknown", target_vendor = "unknown",
target_env = "gnu" target_env = "gnu"
), ),
ignore = "FIXME was already broken before d50d42509903dc3cc1841eb757a703753de84754" should_panic
)] )]
fn discussion3359() { fn discussion3359() {
load_module_test("tests-pl/discussion3359.pl", ""); load_module_test("tests-pl/discussion3359.pl", "");