Skip to content

Commit

Permalink
update integration test outputs
Browse files Browse the repository at this point in the history
  • Loading branch information
@geo2a
geo2a committed Oct 23, 2024
1 parent f3d9155 commit 7455041
Show file tree
Hide file tree
Showing 8 changed files with 35,365 additions and 13,007 deletions.
6,300 changes: 0 additions & 6,300 deletions booster/test/rpc-integration/test-3934-smt/response-008.booster-dev
View file

This file was deleted.

8,164 changes: 6,694 additions & 1,470 deletions booster/test/rpc-integration/test-3934-smt/response-008.json
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion booster/test/rpc-integration/test-a-to-f/response-branching.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -397,4 +397,4 @@
}
]
}
}
}
16,506 changes: 13,888 additions & 2,618 deletions .../test/rpc-integration/test-issue3764-vacuous-branch/response-branch-after-one.booster-dev
View file

Large diffs are not rendered by default.

16,506 changes: 13,888 additions & 2,618 deletions ...er/test/rpc-integration/test-issue3764-vacuous-branch/response-branch-in-zero.booster-dev
View file

Large diffs are not rendered by default.

298 changes: 298 additions & 0 deletions booster/test/rpc-integration/test-remainder-predicates/response-test1.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -268,6 +268,155 @@
]
}
}
},
"rule-substitution": {
"format": "KORE",
"version": 1,
"term": {
"tag": "And",
"sort": {
"tag": "SortApp",
"name": "SortBool",
"args": []
},
"patterns": [
{
"tag": "Equals",
"argSort": {
"tag": "SortApp",
"name": "SortGeneratedCounterCell",
"args": []
},
"sort": {
"tag": "SortApp",
"name": "SortBool",
"args": []
},
"first": {
"tag": "EVar",
"name": "RuleVar'Unds'DotVar0",
"sort": {
"tag": "SortApp",
"name": "SortGeneratedCounterCell",
"args": []
}
},
"second": {
"tag": "App",
"name": "Lbl'-LT-'generatedCounter'-GT-'",
"sorts": [],
"args": [
{
"tag": "DV",
"sort": {
"tag": "SortApp",
"name": "SortInt",
"args": []
},
"value": "0"
}
]
}
},
{
"tag": "Equals",
"argSort": {
"tag": "SortApp",
"name": "SortInt",
"args": []
},
"sort": {
"tag": "SortApp",
"name": "SortBool",
"args": []
},
"first": {
"tag": "EVar",
"name": "RuleVarX",
"sort": {
"tag": "SortApp",
"name": "SortInt",
"args": []
}
},
"second": {
"tag": "EVar",
"name": "Var'QuesUnds'X0",
"sort": {
"tag": "SortApp",
"name": "SortInt",
"args": []
}
}
},
{
"tag": "Equals",
"argSort": {
"tag": "SortApp",
"name": "SortIntCell",
"args": []
},
"sort": {
"tag": "SortApp",
"name": "SortBool",
"args": []
},
"first": {
"tag": "EVar",
"name": "RuleVar'Unds'Gen4",
"sort": {
"tag": "SortApp",
"name": "SortIntCell",
"args": []
}
},
"second": {
"tag": "App",
"name": "Lbl'-LT-'int'-GT-'",
"sorts": [],
"args": [
{
"tag": "EVar",
"name": "Var'QuesUnds'X0",
"sort": {
"tag": "SortApp",
"name": "SortInt",
"args": []
}
}
]
}
},
{
"tag": "Equals",
"argSort": {
"tag": "SortApp",
"name": "SortK",
"args": []
},
"sort": {
"tag": "SortApp",
"name": "SortBool",
"args": []
},
"first": {
"tag": "EVar",
"name": "RuleVar'Unds'DotVar1",
"sort": {
"tag": "SortApp",
"name": "SortK",
"args": []
}
},
"second": {
"tag": "App",
"name": "dotk",
"sorts": [],
"args": []
}
}
]
}
}
},
{
Expand Down Expand Up @@ -474,6 +623,155 @@
]
}
}
},
"rule-substitution": {
"format": "KORE",
"version": 1,
"term": {
"tag": "And",
"sort": {
"tag": "SortApp",
"name": "SortBool",
"args": []
},
"patterns": [
{
"tag": "Equals",
"argSort": {
"tag": "SortApp",
"name": "SortGeneratedCounterCell",
"args": []
},
"sort": {
"tag": "SortApp",
"name": "SortBool",
"args": []
},
"first": {
"tag": "EVar",
"name": "RuleVar'Unds'DotVar0",
"sort": {
"tag": "SortApp",
"name": "SortGeneratedCounterCell",
"args": []
}
},
"second": {
"tag": "App",
"name": "Lbl'-LT-'generatedCounter'-GT-'",
"sorts": [],
"args": [
{
"tag": "DV",
"sort": {
"tag": "SortApp",
"name": "SortInt",
"args": []
},
"value": "0"
}
]
}
},
{
"tag": "Equals",
"argSort": {
"tag": "SortApp",
"name": "SortInt",
"args": []
},
"sort": {
"tag": "SortApp",
"name": "SortBool",
"args": []
},
"first": {
"tag": "EVar",
"name": "RuleVarX",
"sort": {
"tag": "SortApp",
"name": "SortInt",
"args": []
}
},
"second": {
"tag": "EVar",
"name": "Var'QuesUnds'X0",
"sort": {
"tag": "SortApp",
"name": "SortInt",
"args": []
}
}
},
{
"tag": "Equals",
"argSort": {
"tag": "SortApp",
"name": "SortIntCell",
"args": []
},
"sort": {
"tag": "SortApp",
"name": "SortBool",
"args": []
},
"first": {
"tag": "EVar",
"name": "RuleVar'Unds'Gen4",
"sort": {
"tag": "SortApp",
"name": "SortIntCell",
"args": []
}
},
"second": {
"tag": "App",
"name": "Lbl'-LT-'int'-GT-'",
"sorts": [],
"args": [
{
"tag": "EVar",
"name": "Var'QuesUnds'X0",
"sort": {
"tag": "SortApp",
"name": "SortInt",
"args": []
}
}
]
}
},
{
"tag": "Equals",
"argSort": {
"tag": "SortApp",
"name": "SortK",
"args": []
},
"sort": {
"tag": "SortApp",
"name": "SortBool",
"args": []
},
"first": {
"tag": "EVar",
"name": "RuleVar'Unds'DotVar1",
"sort": {
"tag": "SortApp",
"name": "SortK",
"args": []
}
},
"second": {
"tag": "App",
"name": "dotk",
"sorts": [],
"args": []
}
}
]
}
}
}
]
Expand Down
Loading

0 comments on commit 7455041

Please sign in to comment.