Skip to content

Commit

Permalink
promote tests
Browse files Browse the repository at this point in the history
  • Loading branch information
@gares
gares committed Jul 10, 2024
1 parent 524c84f commit b5fae2c
Show file tree
Hide file tree
Showing 16 changed files with 658 additions and 658 deletions.
50 changes: 25 additions & 25 deletions tests/sources/trace.elab.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 6,
"column": 0,
"character": 60
Expand All @@ -49,7 +49,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 6,
"column": 0,
"character": 60
Expand Down Expand Up @@ -128,7 +128,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 6,
"column": 0,
"character": 60
Expand Down Expand Up @@ -164,7 +164,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 2,
"column": 0,
"character": 1
Expand All @@ -188,7 +188,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 2,
"column": 0,
"character": 1
Expand Down Expand Up @@ -226,7 +226,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 6,
"column": 0,
"character": 60
Expand Down Expand Up @@ -307,7 +307,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 2,
"column": 0,
"character": 1
Expand Down Expand Up @@ -345,7 +345,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 6,
"column": 0,
"character": 60
Expand Down Expand Up @@ -415,7 +415,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 2,
"column": 0,
"character": 1
Expand Down Expand Up @@ -453,7 +453,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 6,
"column": 0,
"character": 60
Expand Down Expand Up @@ -524,7 +524,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 2,
"column": 0,
"character": 1
Expand Down Expand Up @@ -562,7 +562,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 6,
"column": 0,
"character": 60
Expand Down Expand Up @@ -598,7 +598,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 3,
"column": 0,
"character": 22
Expand Down Expand Up @@ -626,7 +626,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 3,
"column": 0,
"character": 22
Expand Down Expand Up @@ -664,7 +664,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 6,
"column": 0,
"character": 60
Expand Down Expand Up @@ -715,7 +715,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 3,
"column": 0,
"character": 22
Expand Down Expand Up @@ -753,7 +753,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 6,
"column": 0,
"character": 60
Expand Down Expand Up @@ -804,7 +804,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 3,
"column": 0,
"character": 22
Expand Down Expand Up @@ -842,7 +842,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 6,
"column": 0,
"character": 60
Expand Down Expand Up @@ -889,7 +889,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 3,
"column": 0,
"character": 22
Expand Down Expand Up @@ -927,7 +927,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 6,
"column": 0,
"character": 60
Expand Down Expand Up @@ -1006,7 +1006,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 6,
"column": 0,
"character": 60
Expand Down Expand Up @@ -1042,7 +1042,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 4,
"column": 0,
"character": 52
Expand All @@ -1066,7 +1066,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 4,
"column": 0,
"character": 52
Expand Down Expand Up @@ -1104,7 +1104,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace.elpi",
"filename": "trace.elpi",
"line": 6,
"column": 0,
"character": 60
Expand Down
16 changes: 8 additions & 8 deletions tests/sources/trace.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"step" : 0,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:newgoal","payload" : ["main"]}
{"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:curgoal","payload" : ["main","main"]}
{"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:rule","payload" : ["backchain"]}
{"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:rule:backchain:candidates","payload" : ["File \"tests/sources/trace.elpi\", line 6, column 0, character 60:"]}
{"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:rule:backchain:try","payload" : ["File \"tests/sources/trace.elpi\", line 6, column 0, character 60:","main :- (p 1 A0 ; p 2 A1)."]}
{"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:rule:backchain:candidates","payload" : ["File \"trace.elpi\", line 6, column 0, character 60:"]}
{"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:rule:backchain:try","payload" : ["File \"trace.elpi\", line 6, column 0, character 60:","main :- (p 1 A0 ; p 2 A1)."]}
{"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:subgoal","payload" : ["5"]}
{"step" : 1,"kind" : ["Info"],"goal_id" : 5,"runtime_id" : 0,"name" : "user:newgoal","payload" : ["p 1 X0 ; p 2 X1"]}
{"step" : 1,"kind" : ["Info"],"goal_id" : 5,"runtime_id" : 0,"name" : "user:rule:backchain","payload" : ["success"]}
Expand All @@ -16,8 +16,8 @@
{"step" : 2,"kind" : ["Info"],"goal_id" : 6,"runtime_id" : 0,"name" : "user:rule:backchain","payload" : ["success"]}
{"step" : 3,"kind" : ["Info"],"goal_id" : 6,"runtime_id" : 0,"name" : "user:curgoal","payload" : ["p","p 1 X0"]}
{"step" : 3,"kind" : ["Info"],"goal_id" : 6,"runtime_id" : 0,"name" : "user:rule","payload" : ["backchain"]}
{"step" : 3,"kind" : ["Info"],"goal_id" : 6,"runtime_id" : 0,"name" : "user:rule:backchain:candidates","payload" : ["File \"tests/sources/trace.elpi\", line 2, column 0, character 1:","File \"tests/sources/trace.elpi\", line 3, column 0, character 22:"]}
{"step" : 3,"kind" : ["Info"],"goal_id" : 6,"runtime_id" : 0,"name" : "user:rule:backchain:try","payload" : ["File \"tests/sources/trace.elpi\", line 2, column 0, character 1:","(p 1 1) :- (1 is 2 + 3)."]}
{"step" : 3,"kind" : ["Info"],"goal_id" : 6,"runtime_id" : 0,"name" : "user:rule:backchain:candidates","payload" : ["File \"trace.elpi\", line 2, column 0, character 1:","File \"trace.elpi\", line 3, column 0, character 22:"]}
{"step" : 3,"kind" : ["Info"],"goal_id" : 6,"runtime_id" : 0,"name" : "user:rule:backchain:try","payload" : ["File \"trace.elpi\", line 2, column 0, character 1:","(p 1 1) :- (1 is 2 + 3)."]}
{"step" : 3,"kind" : ["Info"],"goal_id" : 0,"runtime_id" : 0,"name" : "user:assign","payload" : ["X0 := 1"]}
{"step" : 3,"kind" : ["Info"],"goal_id" : 6,"runtime_id" : 0,"name" : "user:subgoal","payload" : ["7"]}
{"step" : 3,"kind" : ["Info"],"goal_id" : 7,"runtime_id" : 0,"name" : "user:newgoal","payload" : ["1 is 2 + 3"]}
Expand All @@ -44,8 +44,8 @@
{"step" : 6,"kind" : ["Info"],"goal_id" : 9,"runtime_id" : 0,"name" : "user:rule:eq","payload" : ["fail"]}
{"step" : 7,"kind" : ["Info"],"goal_id" : 6,"runtime_id" : 0,"name" : "user:curgoal","payload" : ["p","p 1 X0"]}
{"step" : 7,"kind" : ["Info"],"goal_id" : 6,"runtime_id" : 0,"name" : "user:rule","payload" : ["backchain"]}
{"step" : 7,"kind" : ["Info"],"goal_id" : 6,"runtime_id" : 0,"name" : "user:rule:backchain:candidates","payload" : ["File \"tests/sources/trace.elpi\", line 3, column 0, character 22:"]}
{"step" : 7,"kind" : ["Info"],"goal_id" : 6,"runtime_id" : 0,"name" : "user:rule:backchain:try","payload" : ["File \"tests/sources/trace.elpi\", line 3, column 0, character 22:","(p 1 2) :- (A0 = 1), (A1 = 2), (A0 = A1)."]}
{"step" : 7,"kind" : ["Info"],"goal_id" : 6,"runtime_id" : 0,"name" : "user:rule:backchain:candidates","payload" : ["File \"trace.elpi\", line 3, column 0, character 22:"]}
{"step" : 7,"kind" : ["Info"],"goal_id" : 6,"runtime_id" : 0,"name" : "user:rule:backchain:try","payload" : ["File \"trace.elpi\", line 3, column 0, character 22:","(p 1 2) :- (A0 = 1), (A1 = 2), (A0 = A1)."]}
{"step" : 7,"kind" : ["Info"],"goal_id" : 0,"runtime_id" : 0,"name" : "user:assign","payload" : ["X0 := 2"]}
{"step" : 7,"kind" : ["Info"],"goal_id" : 6,"runtime_id" : 0,"name" : "user:subgoal","payload" : ["10"]}
{"step" : 7,"kind" : ["Info"],"goal_id" : 10,"runtime_id" : 0,"name" : "user:newgoal","payload" : ["X2 = 1"]}
Expand Down Expand Up @@ -79,7 +79,7 @@
{"step" : 11,"kind" : ["Info"],"goal_id" : 13,"runtime_id" : 0,"name" : "user:rule:backchain","payload" : ["success"]}
{"step" : 12,"kind" : ["Info"],"goal_id" : 13,"runtime_id" : 0,"name" : "user:curgoal","payload" : ["p","p 2 X1"]}
{"step" : 12,"kind" : ["Info"],"goal_id" : 13,"runtime_id" : 0,"name" : "user:rule","payload" : ["backchain"]}
{"step" : 12,"kind" : ["Info"],"goal_id" : 13,"runtime_id" : 0,"name" : "user:rule:backchain:candidates","payload" : ["File \"tests/sources/trace.elpi\", line 4, column 0, character 52:"]}
{"step" : 12,"kind" : ["Info"],"goal_id" : 13,"runtime_id" : 0,"name" : "user:rule:backchain:try","payload" : ["File \"tests/sources/trace.elpi\", line 4, column 0, character 52:","(p 2 3) :- ."]}
{"step" : 12,"kind" : ["Info"],"goal_id" : 13,"runtime_id" : 0,"name" : "user:rule:backchain:candidates","payload" : ["File \"trace.elpi\", line 4, column 0, character 52:"]}
{"step" : 12,"kind" : ["Info"],"goal_id" : 13,"runtime_id" : 0,"name" : "user:rule:backchain:try","payload" : ["File \"trace.elpi\", line 4, column 0, character 52:","(p 2 3) :- ."]}
{"step" : 12,"kind" : ["Info"],"goal_id" : 0,"runtime_id" : 0,"name" : "user:assign","payload" : ["X1 := 3"]}
{"step" : 12,"kind" : ["Info"],"goal_id" : 13,"runtime_id" : 0,"name" : "user:rule:backchain","payload" : ["success"]}
18 changes: 9 additions & 9 deletions tests/sources/trace2.elab.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace2.elpi",
"filename": "trace2.elpi",
"line": 1,
"column": 0,
"character": 0
Expand Down Expand Up @@ -55,7 +55,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace2.elpi",
"filename": "trace2.elpi",
"line": 1,
"column": 0,
"character": 0
Expand Down Expand Up @@ -106,7 +106,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace2.elpi",
"filename": "trace2.elpi",
"line": 1,
"column": 0,
"character": 0
Expand Down Expand Up @@ -162,7 +162,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace2.elpi",
"filename": "trace2.elpi",
"line": 1,
"column": 0,
"character": 0
Expand Down Expand Up @@ -220,7 +220,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace2.elpi",
"filename": "trace2.elpi",
"line": 1,
"column": 0,
"character": 0
Expand Down Expand Up @@ -281,7 +281,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace2.elpi",
"filename": "trace2.elpi",
"line": 1,
"column": 0,
"character": 0
Expand Down Expand Up @@ -350,7 +350,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace2.elpi",
"filename": "trace2.elpi",
"line": 1,
"column": 0,
"character": 0
Expand Down Expand Up @@ -449,7 +449,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace2.elpi",
"filename": "trace2.elpi",
"line": 1,
"column": 0,
"character": 0
Expand Down Expand Up @@ -526,7 +526,7 @@
"rule_loc": [
"File",
{
"filename": "tests/sources/trace2.elpi",
"filename": "trace2.elpi",
"line": 1,
"column": 0,
"character": 0
Expand Down
4 changes: 2 additions & 2 deletions tests/sources/trace2.json
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{"step" : 0,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:newgoal","payload" : ["main"]}
{"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:curgoal","payload" : ["main","main"]}
{"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:rule","payload" : ["backchain"]}
{"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:rule:backchain:candidates","payload" : ["File \"tests/sources/trace2.elpi\", line 1, column 0, character 0:"]}
{"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:rule:backchain:try","payload" : ["File \"tests/sources/trace2.elpi\", line 1, column 0, character 0:","main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail))))))."]}
{"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:rule:backchain:candidates","payload" : ["File \"trace2.elpi\", line 1, column 0, character 0:"]}
{"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:rule:backchain:try","payload" : ["File \"trace2.elpi\", line 1, column 0, character 0:","main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail))))))."]}
{"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:subgoal","payload" : ["5"]}
{"step" : 1,"kind" : ["Info"],"goal_id" : 5,"runtime_id" : 0,"name" : "user:newgoal","payload" : ["print 1"]}
{"step" : 1,"kind" : ["Info"],"goal_id" : 5,"runtime_id" : 0,"name" : "user:subgoal","payload" : ["6"]}
Expand Down
Loading

0 comments on commit b5fae2c

Please sign in to comment.