Skip to content

Commit

Permalink
Merge remote-tracking branch 'origin/master' into release
Browse files Browse the repository at this point in the history
  • Loading branch information
devops committed Jun 17, 2024
2 parents f92ba8e + 6a708bd commit caded11
Show file tree
Hide file tree
Showing 4 changed files with 10,975 additions and 11 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/test.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -172,7 +172,7 @@ jobs:
run: GC_DONT_GC=1 nix build .#kore-exec .#kore-rpc-booster

- name: Run booster integration tests
if: ${{ (steps.changes.outputs.booster == 'true' || steps.changes.outputs.kore_rpc_types == 'true' || steps.changes.outputs.project == 'true') }}
if: ${{ (steps.changes.outputs.booster == 'true' || steps.changes.outputs.kore == 'true' || steps.changes.outputs.kore_rpc_types == 'true' || steps.changes.outputs.project == 'true') }}
run: |
GC_DONT_GC=1 nix develop .#cabal --command bash -c "scripts/booster-integration-tests.sh"
Expand Down
10,968 changes: 10,966 additions & 2 deletions booster/test/rpc-integration/test-3934-smt/response-008.json
View file

Large diffs are not rendered by default.

8 changes: 4 additions & 4 deletions 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 @@ -182,7 +182,7 @@
},
"first": {
"tag": "EVar",
"name": "Var'Unds'DotVar0",
"name": "RuleVar'Unds'DotVar0",
"sort": {
"tag": "SortApp",
"name": "SortGeneratedCounterCell",
Expand Down Expand Up @@ -220,7 +220,7 @@
},
"first": {
"tag": "EVar",
"name": "Var'Unds'DotVar1",
"name": "RuleVar'Unds'DotVar1",
"sort": {
"tag": "SortApp",
"name": "SortK",
Expand Down Expand Up @@ -339,7 +339,7 @@
},
"first": {
"tag": "EVar",
"name": "Var'Unds'DotVar0",
"name": "RuleVar'Unds'DotVar0",
"sort": {
"tag": "SortApp",
"name": "SortGeneratedCounterCell",
Expand Down Expand Up @@ -377,7 +377,7 @@
},
"first": {
"tag": "EVar",
"name": "Var'Unds'DotVar1",
"name": "RuleVar'Unds'DotVar1",
"sort": {
"tag": "SortApp",
"name": "SortK",
Expand Down
8 changes: 4 additions & 4 deletions booster/test/rpc-integration/test-a-to-f/response-branching.kore-rpc-dev
View file
Original file line number Diff line number Diff line change
Expand Up @@ -182,7 +182,7 @@
},
"first": {
"tag": "EVar",
"name": "Var'Unds'DotVar0",
"name": "RuleVar'Unds'DotVar0",
"sort": {
"tag": "SortApp",
"name": "SortGeneratedCounterCell",
Expand Down Expand Up @@ -220,7 +220,7 @@
},
"first": {
"tag": "EVar",
"name": "Var'Unds'DotVar1",
"name": "RuleVar'Unds'DotVar1",
"sort": {
"tag": "SortApp",
"name": "SortK",
Expand Down Expand Up @@ -339,7 +339,7 @@
},
"first": {
"tag": "EVar",
"name": "Var'Unds'DotVar0",
"name": "RuleVar'Unds'DotVar0",
"sort": {
"tag": "SortApp",
"name": "SortGeneratedCounterCell",
Expand Down Expand Up @@ -377,7 +377,7 @@
},
"first": {
"tag": "EVar",
"name": "Var'Unds'DotVar1",
"name": "RuleVar'Unds'DotVar1",
"sort": {
"tag": "SortApp",
"name": "SortK",
Expand Down

0 comments on commit caded11

Please sign in to comment.