add regression test for discussion 3359
This commit is contained in:
11
tests-pl/discussion3359.pl
Normal file
11
tests-pl/discussion3359.pl
Normal file
@@ -0,0 +1,11 @@
|
|||||||
|
:- use_module(library(clpz)).
|
||||||
|
:- use_module(library(tabling)).
|
||||||
|
|
||||||
|
:- table expr//0.
|
||||||
|
|
||||||
|
expr --> "1".
|
||||||
|
expr --> expr, "+", expr.
|
||||||
|
|
||||||
|
run :- phrase(expr, "1+1+1+1+1").
|
||||||
|
|
||||||
|
:- initialization(run).
|
||||||
@@ -173,3 +173,9 @@ fn http_open_hanging() {
|
|||||||
"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"
|
"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 = "it takes too long to run")]
|
||||||
|
fn discussion3359() {
|
||||||
|
load_module_test("tests-pl/discussion3359.pl", "");
|
||||||
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user