Merge remote-tracking branch 'origin/master' into release

Author: rv-auditor

.github/workflows/test.yml

@@ -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"
 

booster/test/rpc-integration/test-3934-smt/response-008.json

@@ -182,7 +182,7 @@
                                 },
                                 "first": {
                                     "tag": "EVar",
-                                    "name": "Var'Unds'DotVar0",
+                                    "name": "RuleVar'Unds'DotVar0",
                                     "sort": {
                                         "tag": "SortApp",
                                         "name": "SortGeneratedCounterCell",
@@ -220,7 +220,7 @@
                                 },
                                 "first": {
                                     "tag": "EVar",
-                                    "name": "Var'Unds'DotVar1",
+                                    "name": "RuleVar'Unds'DotVar1",
                                     "sort": {
                                         "tag": "SortApp",
                                         "name": "SortK",
@@ -339,7 +339,7 @@
                                 },
                                 "first": {
                                     "tag": "EVar",
-                                    "name": "Var'Unds'DotVar0",
+                                    "name": "RuleVar'Unds'DotVar0",
                                     "sort": {
                                         "tag": "SortApp",
                                         "name": "SortGeneratedCounterCell",
@@ -377,7 +377,7 @@
                                 },
                                 "first": {
                                     "tag": "EVar",
-                                    "name": "Var'Unds'DotVar1",
+                                    "name": "RuleVar'Unds'DotVar1",
                                     "sort": {
                                         "tag": "SortApp",
                                         "name": "SortK",

booster/test/rpc-integration/test-a-to-f/response-branching.json

@@ -182,7 +182,7 @@
                                 },
                                 "first": {
                                     "tag": "EVar",
-                                    "name": "Var'Unds'DotVar0",
+                                    "name": "RuleVar'Unds'DotVar0",
                                     "sort": {
                                         "tag": "SortApp",
                                         "name": "SortGeneratedCounterCell",
@@ -220,7 +220,7 @@
                                 },
                                 "first": {
                                     "tag": "EVar",
-                                    "name": "Var'Unds'DotVar1",
+                                    "name": "RuleVar'Unds'DotVar1",
                                     "sort": {
                                         "tag": "SortApp",
                                         "name": "SortK",
@@ -339,7 +339,7 @@
                                 },
                                 "first": {
                                     "tag": "EVar",
-                                    "name": "Var'Unds'DotVar0",
+                                    "name": "RuleVar'Unds'DotVar0",
                                     "sort": {
                                         "tag": "SortApp",
                                         "name": "SortGeneratedCounterCell",
@@ -377,7 +377,7 @@
                                 },
                                 "first": {
                                     "tag": "EVar",
-                                    "name": "Var'Unds'DotVar1",
+                                    "name": "RuleVar'Unds'DotVar1",
                                     "sort": {
                                         "tag": "SortApp",
                                         "name": "SortK",