Skip to content

Commit

Permalink
fix test suite
Browse files Browse the repository at this point in the history
  • Loading branch information
@gares
gares committed May 20, 2024
1 parent 69bb3d9 commit 17f1914
Show file tree
Hide file tree
Showing 2 changed files with 51 additions and 51 deletions.
80 changes: 40 additions & 40 deletions tests/sources/trace_w.elab.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2429,9 +2429,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 505,
"line": 504,
"column": 0,
"character": 12438
"character": 12502
}
]
}
Expand Down Expand Up @@ -2466,9 +2466,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 505,
"line": 504,
"column": 0,
"character": 12438
"character": 12502
}
]
}
Expand Down Expand Up @@ -2629,9 +2629,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 505,
"line": 504,
"column": 0,
"character": 12438
"character": 12502
}
]
}
Expand Down Expand Up @@ -2761,9 +2761,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 505,
"line": 504,
"column": 0,
"character": 12438
"character": 12502
}
]
}
Expand Down Expand Up @@ -2873,9 +2873,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 506,
"line": 505,
"column": 0,
"character": 12459
"character": 12523
}
]
}
Expand Down Expand Up @@ -2906,9 +2906,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 506,
"line": 505,
"column": 0,
"character": 12459
"character": 12523
}
]
}
Expand Down Expand Up @@ -3035,9 +3035,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 506,
"line": 505,
"column": 0,
"character": 12459
"character": 12523
}
]
}
Expand Down Expand Up @@ -3273,9 +3273,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 505,
"line": 504,
"column": 0,
"character": 12438
"character": 12502
}
]
}
Expand Down Expand Up @@ -3315,9 +3315,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 505,
"line": 504,
"column": 0,
"character": 12438
"character": 12502
}
]
}
Expand Down Expand Up @@ -3478,9 +3478,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 505,
"line": 504,
"column": 0,
"character": 12438
"character": 12502
}
]
}
Expand Down Expand Up @@ -3655,9 +3655,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 505,
"line": 504,
"column": 0,
"character": 12438
"character": 12502
}
]
}
Expand Down Expand Up @@ -3796,9 +3796,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 506,
"line": 505,
"column": 0,
"character": 12459
"character": 12523
}
]
}
Expand Down Expand Up @@ -3846,9 +3846,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 505,
"line": 504,
"column": 0,
"character": 12438
"character": 12502
}
]
}
Expand Down Expand Up @@ -4789,9 +4789,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 505,
"line": 504,
"column": 0,
"character": 12438
"character": 12502
}
]
}
Expand Down Expand Up @@ -4826,9 +4826,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 505,
"line": 504,
"column": 0,
"character": 12438
"character": 12502
}
]
}
Expand Down Expand Up @@ -4951,9 +4951,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 505,
"line": 504,
"column": 0,
"character": 12438
"character": 12502
}
]
}
Expand Down Expand Up @@ -5045,9 +5045,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 505,
"line": 504,
"column": 0,
"character": 12438
"character": 12502
}
]
}
Expand Down Expand Up @@ -5119,9 +5119,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 506,
"line": 505,
"column": 0,
"character": 12459
"character": 12523
}
]
}
Expand All @@ -5145,9 +5145,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 506,
"line": 505,
"column": 0,
"character": 12459
"character": 12523
}
]
}
Expand Down Expand Up @@ -5234,9 +5234,9 @@
"File",
{
"filename": "builtin.elpi",
"line": 506,
"line": 505,
"column": 0,
"character": 12459
"character": 12523
}
]
}
Expand Down
22 changes: 11 additions & 11 deletions tests/sources/trace_w.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -189,8 +189,8 @@
{"step" : 4,"kind" : ["Info"],"goal_id" : 34,"runtime_id" : 1,"name" : "user:rule:backchain","payload" : ["success"]}
{"step" : 5,"kind" : ["Info"],"goal_id" : 34,"runtime_id" : 1,"name" : "user:curgoal","payload" : ["if","if (mem [] (uvar frozen--519 [])) (X7 = []) (X7 = [uvar frozen--519 []])"]}
{"step" : 5,"kind" : ["Info"],"goal_id" : 34,"runtime_id" : 1,"name" : "user:rule","payload" : ["backchain"]}
{"step" : 5,"kind" : ["Info"],"goal_id" : 34,"runtime_id" : 1,"name" : "user:rule:backchain:candidates","payload" : ["File \"builtin.elpi\", line 505, column 0, character 12438:","File \"builtin.elpi\", line 506, column 0, character 12459:"]}
{"step" : 5,"kind" : ["Info"],"goal_id" : 34,"runtime_id" : 1,"name" : "user:rule:backchain:try","payload" : ["File \"builtin.elpi\", line 505, column 0, character 12438:","(if A0 A1 _) :- A0, (!), A1."]}
{"step" : 5,"kind" : ["Info"],"goal_id" : 34,"runtime_id" : 1,"name" : "user:rule:backchain:candidates","payload" : ["File \"builtin.elpi\", line 504, column 0, character 12502:","File \"builtin.elpi\", line 505, column 0, character 12523:"]}
{"step" : 5,"kind" : ["Info"],"goal_id" : 34,"runtime_id" : 1,"name" : "user:rule:backchain:try","payload" : ["File \"builtin.elpi\", line 504, column 0, character 12502:","(if A0 A1 _) :- A0, (!), A1."]}
{"step" : 5,"kind" : ["Info"],"goal_id" : 0,"runtime_id" : 1,"name" : "user:assign","payload" : ["A0 := mem [] (uvar frozen--519 [])"]}
{"step" : 5,"kind" : ["Info"],"goal_id" : 0,"runtime_id" : 1,"name" : "user:assign","payload" : ["A1 := X7 = []"]}
{"step" : 5,"kind" : ["Info"],"goal_id" : 34,"runtime_id" : 1,"name" : "user:subgoal","payload" : ["35"]}
Expand All @@ -215,8 +215,8 @@
{"step" : 7,"kind" : ["Info"],"goal_id" : 38,"runtime_id" : 1,"name" : "user:rule:backchain","payload" : ["fail"]}
{"step" : 8,"kind" : ["Info"],"goal_id" : 34,"runtime_id" : 1,"name" : "user:curgoal","payload" : ["if","if (mem [] (uvar frozen--519 [])) (X7 = []) (X7 = [uvar frozen--519 []])"]}
{"step" : 8,"kind" : ["Info"],"goal_id" : 34,"runtime_id" : 1,"name" : "user:rule","payload" : ["backchain"]}
{"step" : 8,"kind" : ["Info"],"goal_id" : 34,"runtime_id" : 1,"name" : "user:rule:backchain:candidates","payload" : ["File \"builtin.elpi\", line 506, column 0, character 12459:"]}
{"step" : 8,"kind" : ["Info"],"goal_id" : 34,"runtime_id" : 1,"name" : "user:rule:backchain:try","payload" : ["File \"builtin.elpi\", line 506, column 0, character 12459:","(if _ _ A0) :- A0."]}
{"step" : 8,"kind" : ["Info"],"goal_id" : 34,"runtime_id" : 1,"name" : "user:rule:backchain:candidates","payload" : ["File \"builtin.elpi\", line 505, column 0, character 12523:"]}
{"step" : 8,"kind" : ["Info"],"goal_id" : 34,"runtime_id" : 1,"name" : "user:rule:backchain:try","payload" : ["File \"builtin.elpi\", line 505, column 0, character 12523:","(if _ _ A0) :- A0."]}
{"step" : 8,"kind" : ["Info"],"goal_id" : 0,"runtime_id" : 1,"name" : "user:assign","payload" : ["A0 := X7 = [uvar frozen--519 []]"]}
{"step" : 8,"kind" : ["Info"],"goal_id" : 34,"runtime_id" : 1,"name" : "user:subgoal","payload" : ["39"]}
{"step" : 8,"kind" : ["Info"],"goal_id" : 39,"runtime_id" : 1,"name" : "user:newgoal","payload" : ["X7 = [uvar frozen--519 []]"]}
Expand All @@ -238,8 +238,8 @@
{"step" : 10,"kind" : ["Info"],"goal_id" : 40,"runtime_id" : 1,"name" : "user:rule:backchain","payload" : ["success"]}
{"step" : 11,"kind" : ["Info"],"goal_id" : 40,"runtime_id" : 1,"name" : "user:curgoal","payload" : ["if","if (mem [uvar frozen--519 []] (uvar frozen--519 [])) \n (X4 = [uvar frozen--519 []]) \n (X4 = [uvar frozen--519 [], uvar frozen--519 []])"]}
{"step" : 11,"kind" : ["Info"],"goal_id" : 40,"runtime_id" : 1,"name" : "user:rule","payload" : ["backchain"]}
{"step" : 11,"kind" : ["Info"],"goal_id" : 40,"runtime_id" : 1,"name" : "user:rule:backchain:candidates","payload" : ["File \"builtin.elpi\", line 505, column 0, character 12438:","File \"builtin.elpi\", line 506, column 0, character 12459:"]}
{"step" : 11,"kind" : ["Info"],"goal_id" : 40,"runtime_id" : 1,"name" : "user:rule:backchain:try","payload" : ["File \"builtin.elpi\", line 505, column 0, character 12438:","(if A0 A1 _) :- A0, (!), A1."]}
{"step" : 11,"kind" : ["Info"],"goal_id" : 40,"runtime_id" : 1,"name" : "user:rule:backchain:candidates","payload" : ["File \"builtin.elpi\", line 504, column 0, character 12502:","File \"builtin.elpi\", line 505, column 0, character 12523:"]}
{"step" : 11,"kind" : ["Info"],"goal_id" : 40,"runtime_id" : 1,"name" : "user:rule:backchain:try","payload" : ["File \"builtin.elpi\", line 504, column 0, character 12502:","(if A0 A1 _) :- A0, (!), A1."]}
{"step" : 11,"kind" : ["Info"],"goal_id" : 0,"runtime_id" : 1,"name" : "user:assign","payload" : ["A0 := mem [uvar frozen--519 []] (uvar frozen--519 [])"]}
{"step" : 11,"kind" : ["Info"],"goal_id" : 0,"runtime_id" : 1,"name" : "user:assign","payload" : ["A1 := X4 = [uvar frozen--519 []]"]}
{"step" : 11,"kind" : ["Info"],"goal_id" : 40,"runtime_id" : 1,"name" : "user:subgoal","payload" : ["41"]}
Expand Down Expand Up @@ -273,7 +273,7 @@
{"step" : 14,"kind" : ["Info"],"goal_id" : 45,"runtime_id" : 1,"name" : "user:rule:cut","payload" : ["success"]}
{"step" : 15,"kind" : ["Info"],"goal_id" : 42,"runtime_id" : 1,"name" : "user:curgoal","payload" : ["!","!"]}
{"step" : 15,"kind" : ["Info"],"goal_id" : 42,"runtime_id" : 1,"name" : "user:rule","payload" : ["cut"]}
{"step" : 15,"kind" : ["Info"],"goal_id" : 0,"runtime_id" : 1,"name" : "user:rule:cut:branch","payload" : ["40","File \"builtin.elpi\", line 506, column 0, character 12459:","(if _ _ A0) :- A0."]}
{"step" : 15,"kind" : ["Info"],"goal_id" : 0,"runtime_id" : 1,"name" : "user:rule:cut:branch","payload" : ["40","File \"builtin.elpi\", line 505, column 0, character 12523:","(if _ _ A0) :- A0."]}
{"step" : 15,"kind" : ["Info"],"goal_id" : 42,"runtime_id" : 1,"name" : "user:rule:cut","payload" : ["success"]}
{"step" : 16,"kind" : ["Info"],"goal_id" : 43,"runtime_id" : 1,"name" : "user:curgoal","payload" : ["=","X4 = [uvar frozen--519 []]"]}
{"step" : 16,"kind" : ["Info"],"goal_id" : 43,"runtime_id" : 1,"name" : "user:rule","payload" : ["eq"]}
Expand Down Expand Up @@ -358,8 +358,8 @@
{"step" : 25,"kind" : ["Info"],"goal_id" : 53,"runtime_id" : 1,"name" : "user:rule:backchain","payload" : ["success"]}
{"step" : 26,"kind" : ["Info"],"goal_id" : 53,"runtime_id" : 1,"name" : "user:curgoal","payload" : ["if","if (mem [] (uvar frozen--519 [])) (X12 = eqt) (X12 = any)"]}
{"step" : 26,"kind" : ["Info"],"goal_id" : 53,"runtime_id" : 1,"name" : "user:rule","payload" : ["backchain"]}
{"step" : 26,"kind" : ["Info"],"goal_id" : 53,"runtime_id" : 1,"name" : "user:rule:backchain:candidates","payload" : ["File \"builtin.elpi\", line 505, column 0, character 12438:","File \"builtin.elpi\", line 506, column 0, character 12459:"]}
{"step" : 26,"kind" : ["Info"],"goal_id" : 53,"runtime_id" : 1,"name" : "user:rule:backchain:try","payload" : ["File \"builtin.elpi\", line 505, column 0, character 12438:","(if A0 A1 _) :- A0, (!), A1."]}
{"step" : 26,"kind" : ["Info"],"goal_id" : 53,"runtime_id" : 1,"name" : "user:rule:backchain:candidates","payload" : ["File \"builtin.elpi\", line 504, column 0, character 12502:","File \"builtin.elpi\", line 505, column 0, character 12523:"]}
{"step" : 26,"kind" : ["Info"],"goal_id" : 53,"runtime_id" : 1,"name" : "user:rule:backchain:try","payload" : ["File \"builtin.elpi\", line 504, column 0, character 12502:","(if A0 A1 _) :- A0, (!), A1."]}
{"step" : 26,"kind" : ["Info"],"goal_id" : 0,"runtime_id" : 1,"name" : "user:assign","payload" : ["A0 := mem [] (uvar frozen--519 [])"]}
{"step" : 26,"kind" : ["Info"],"goal_id" : 0,"runtime_id" : 1,"name" : "user:assign","payload" : ["A1 := X12 = eqt"]}
{"step" : 26,"kind" : ["Info"],"goal_id" : 53,"runtime_id" : 1,"name" : "user:subgoal","payload" : ["55"]}
Expand All @@ -384,8 +384,8 @@
{"step" : 28,"kind" : ["Info"],"goal_id" : 58,"runtime_id" : 1,"name" : "user:rule:backchain","payload" : ["fail"]}
{"step" : 29,"kind" : ["Info"],"goal_id" : 53,"runtime_id" : 1,"name" : "user:curgoal","payload" : ["if","if (mem [] (uvar frozen--519 [])) (X12 = eqt) (X12 = any)"]}
{"step" : 29,"kind" : ["Info"],"goal_id" : 53,"runtime_id" : 1,"name" : "user:rule","payload" : ["backchain"]}
{"step" : 29,"kind" : ["Info"],"goal_id" : 53,"runtime_id" : 1,"name" : "user:rule:backchain:candidates","payload" : ["File \"builtin.elpi\", line 506, column 0, character 12459:"]}
{"step" : 29,"kind" : ["Info"],"goal_id" : 53,"runtime_id" : 1,"name" : "user:rule:backchain:try","payload" : ["File \"builtin.elpi\", line 506, column 0, character 12459:","(if _ _ A0) :- A0."]}
{"step" : 29,"kind" : ["Info"],"goal_id" : 53,"runtime_id" : 1,"name" : "user:rule:backchain:candidates","payload" : ["File \"builtin.elpi\", line 505, column 0, character 12523:"]}
{"step" : 29,"kind" : ["Info"],"goal_id" : 53,"runtime_id" : 1,"name" : "user:rule:backchain:try","payload" : ["File \"builtin.elpi\", line 505, column 0, character 12523:","(if _ _ A0) :- A0."]}
{"step" : 29,"kind" : ["Info"],"goal_id" : 0,"runtime_id" : 1,"name" : "user:assign","payload" : ["A0 := X12 = any"]}
{"step" : 29,"kind" : ["Info"],"goal_id" : 53,"runtime_id" : 1,"name" : "user:subgoal","payload" : ["59"]}
{"step" : 29,"kind" : ["Info"],"goal_id" : 59,"runtime_id" : 1,"name" : "user:newgoal","payload" : ["X12 = any"]}
Expand Down

0 comments on commit 17f1914

Please sign in to comment.