Skip to content

Commit

Permalink
HOTFIX run booster integration on change to kore (#3946)
Browse files Browse the repository at this point in the history 
The previously merged PR (#3939) broke booster integration tests,
however, the CI didn't run those and the PR was merged without this
being discovered. This PR fixes the tests and modifies the CI run to
always run booster integration whenever any kore files change.
  • Loading branch information
@goodlyrottenapple
goodlyrottenapple authored Jun 17, 2024
1 parent 4b24eba commit 6a708bd
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 6a708bd

Please sign in to comment.