test: update snapshots due to newly added kind field

zjp-CN · zjp-CN · commit 8ee870db7f56 · 2025-04-24T00:00:25.000+08:00
diff --git a/tests/snapshots/ad_hoc.json b/tests/snapshots/ad_hoc.json
@@ -5,6 +5,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "adhoc::callee_defined_in_proof",
       "mangled_name": "_ZN6ad_hoc5adhoc23callee_defined_in_proof17h9b15884d9d9d9404E",
@@ -57,6 +58,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "adhoc::closure_in_proof",
       "mangled_name": "_ZN6ad_hoc5adhoc16closure_in_proof17h4b84872472ae10c5E",
@@ -109,6 +111,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "adhoc::proof_in_fn_item::proof",
       "mangled_name": "_ZN6ad_hoc5adhoc16proof_in_fn_item5proof17h897129ce606edafeE",
diff --git a/tests/snapshots/by_macros/gen_contracts_by_macros.json b/tests/snapshots/by_macros/gen_contracts_by_macros.json
@@ -5,6 +5,7 @@
     "attrs": [
       "#[kanitool::proof_for_contract = \"contract1\"]"
     ],
+    "kind": "Contract",
     "func": {
       "name": "verify::proof1",
       "mangled_name": "_ZN23gen_contracts_by_macros6verify6proof117h9828d0e50eee99deE",
@@ -151,6 +152,7 @@
     "attrs": [
       "#[kanitool::proof_for_contract = \"contract2\"]"
     ],
+    "kind": "Contract",
     "func": {
       "name": "verify::proof2",
       "mangled_name": "_ZN23gen_contracts_by_macros6verify6proof217h2843955b7716bef5E",
@@ -297,6 +299,7 @@
     "attrs": [
       "#[kanitool::proof_for_contract = \"contract3\"]"
     ],
+    "kind": "Contract",
     "func": {
       "name": "verify::proof3",
       "mangled_name": "_ZN23gen_contracts_by_macros6verify6proof317h2d7e1f5e5fbd0d23E",
diff --git a/tests/snapshots/by_macros/gen_proofs_by_macros.json b/tests/snapshots/by_macros/gen_proofs_by_macros.json
@@ -5,6 +5,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::proof1",
       "mangled_name": "_ZN20gen_proofs_by_macros6verify6proof117hc4255bc4f41f2540E",
@@ -28,6 +29,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::proof2",
       "mangled_name": "_ZN20gen_proofs_by_macros6verify6proof217h7837bdff9d68a0f1E",
@@ -51,6 +53,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::proof3",
       "mangled_name": "_ZN20gen_proofs_by_macros6verify6proof317h628c936d75d70951E",
diff --git a/tests/snapshots/by_macros/gen_proofs_by_nested_macros.json b/tests/snapshots/by_macros/gen_proofs_by_nested_macros.json
@@ -5,6 +5,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::proof1",
       "mangled_name": "_ZN27gen_proofs_by_nested_macros6verify6proof117h4d153120b87a21d4E",
@@ -32,6 +33,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::proof2",
       "mangled_name": "_ZN27gen_proofs_by_nested_macros6verify6proof217hea16056619071673E",
@@ -59,6 +61,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::proof3",
       "mangled_name": "_ZN27gen_proofs_by_nested_macros6verify6proof317h4f8f69e505b12d59E",
diff --git a/tests/snapshots/contract1.json b/tests/snapshots/contract1.json
@@ -5,6 +5,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::f",
       "mangled_name": "_ZN8contract6verify1f17hbb7ab8fa785d99dfE",
diff --git a/tests/snapshots/contract2.json b/tests/snapshots/contract2.json
@@ -5,6 +5,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::f",
       "mangled_name": "_ZN8contract6verify1f17hbb7ab8fa785d99dfE",
diff --git a/tests/snapshots/gen_contracts_by_macros.json b/tests/snapshots/gen_contracts_by_macros.json
@@ -5,6 +5,7 @@
     "attrs": [
       "#[kanitool::proof_for_contract = \"contract1\"]"
     ],
+    "kind": "Contract",
     "func": {
       "name": "verify::proof1",
       "mangled_name": "_ZN23gen_contracts_by_macros6verify6proof117h9828d0e50eee99deE",
@@ -3499,6 +3500,7 @@
     "attrs": [
       "#[kanitool::proof_for_contract = \"contract2\"]"
     ],
+    "kind": "Contract",
     "func": {
       "name": "verify::proof2",
       "mangled_name": "_ZN23gen_contracts_by_macros6verify6proof217h2843955b7716bef5E",
@@ -6993,6 +6995,7 @@
     "attrs": [
       "#[kanitool::proof_for_contract = \"contract3\"]"
     ],
+    "kind": "Contract",
     "func": {
       "name": "verify::proof3",
       "mangled_name": "_ZN23gen_contracts_by_macros6verify6proof317h2d7e1f5e5fbd0d23E",
diff --git a/tests/snapshots/gen_proofs_by_macros.json b/tests/snapshots/gen_proofs_by_macros.json
@@ -5,6 +5,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::proof1",
       "mangled_name": "_ZN20gen_proofs_by_macros6verify6proof117hc4255bc4f41f2540E",
@@ -159,6 +160,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::proof2",
       "mangled_name": "_ZN20gen_proofs_by_macros6verify6proof217h7837bdff9d68a0f1E",
@@ -313,6 +315,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::proof3",
       "mangled_name": "_ZN20gen_proofs_by_macros6verify6proof317h628c936d75d70951E",
diff --git a/tests/snapshots/gen_proofs_by_nested_macros.json b/tests/snapshots/gen_proofs_by_nested_macros.json
@@ -5,6 +5,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::proof1",
       "mangled_name": "_ZN27gen_proofs_by_nested_macros6verify6proof117h4d153120b87a21d4E",
@@ -163,6 +164,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::proof2",
       "mangled_name": "_ZN27gen_proofs_by_nested_macros6verify6proof217hea16056619071673E",
@@ -321,6 +323,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::proof3",
       "mangled_name": "_ZN27gen_proofs_by_nested_macros6verify6proof317h4f8f69e505b12d59E",
diff --git a/tests/snapshots/gen_proofs_by_nested_macros1.json b/tests/snapshots/gen_proofs_by_nested_macros1.json
@@ -5,6 +5,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::proof1",
       "mangled_name": "_ZN27gen_proofs_by_nested_macros6verify6proof117h4d153120b87a21d4E",
diff --git a/tests/snapshots/gen_proofs_by_nested_macros2.json b/tests/snapshots/gen_proofs_by_nested_macros2.json
@@ -5,6 +5,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::proof1",
       "mangled_name": "_ZN27gen_proofs_by_nested_macros6verify6proof117h4d153120b87a21d4E",
diff --git a/tests/snapshots/proof1.json b/tests/snapshots/proof1.json
@@ -5,6 +5,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::f",
       "mangled_name": "_ZN5proof6verify1f17h452f3f200e19af70E",
diff --git a/tests/snapshots/proof2.json b/tests/snapshots/proof2.json
@@ -5,6 +5,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::f",
       "mangled_name": "_ZN5proof6verify1f17h452f3f200e19af70E",
@@ -45,6 +46,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::g",
       "mangled_name": "_ZN5proof6verify1g17h5fcfac3fd6095cd2E",
diff --git a/tests/snapshots/proofs_for_contract.json b/tests/snapshots/proofs_for_contract.json
@@ -5,6 +5,7 @@
     "attrs": [
       "#[kanitool::proof_for_contract = \"contract\"]"
     ],
+    "kind": "Contract",
     "func": {
       "name": "verify::single_contract",
       "mangled_name": "_ZN19proofs_for_contract6verify15single_contract17h48e84a77338e369aE",
@@ -3386,6 +3387,7 @@
     "attrs": [
       "#[kanitool::proof_for_contract = \"contract_requires\"]"
     ],
+    "kind": "Contract",
     "func": {
       "name": "verify::single_contract_requires",
       "mangled_name": "_ZN19proofs_for_contract6verify24single_contract_requires17hcc8f49c37c06910cE",
@@ -6746,6 +6748,7 @@
     "attrs": [
       "#[kanitool::proof_for_contract = \"contract_ensures\"]"
     ],
+    "kind": "Contract",
     "func": {
       "name": "verify::single_with_contract_ensures",
       "mangled_name": "_ZN19proofs_for_contract6verify28single_with_contract_ensures17h2e820bb13cc805e8E",
@@ -10106,6 +10109,7 @@
     "attrs": [
       "#[kanitool::proof_for_contract = \"contract_requires\"]"
     ],
+    "kind": "Contract",
     "func": {
       "name": "verify::two_contracts_requires_and_ensures",
       "mangled_name": "_ZN19proofs_for_contract6verify34two_contracts_requires_and_ensures17habfdda1e68a1c53aE",
diff --git a/tests/snapshots/standard_proofs.json b/tests/snapshots/standard_proofs.json
@@ -5,6 +5,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::recursive_callees",
       "mangled_name": "_ZN15standard_proofs6verify17recursive_callees17h33367a780be3c5aeE",
@@ -1470,6 +1471,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::standard_proof",
       "mangled_name": "_ZN15standard_proofs6verify14standard_proof17hd9befd5acb4cad0dE",
@@ -1619,6 +1621,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::standard_proof_empty",
       "mangled_name": "_ZN15standard_proofs6verify20standard_proof_empty17h813b795817f2ca59E",
diff --git a/tests/snapshots/standard_proofs_with_contracts.json b/tests/snapshots/standard_proofs_with_contracts.json
@@ -5,6 +5,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::single_contract",
       "mangled_name": "_ZN30standard_proofs_with_contracts6verify15single_contract17h3ace85d88f1820a3E",
@@ -3365,6 +3366,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::single_contract_requires",
       "mangled_name": "_ZN30standard_proofs_with_contracts6verify24single_contract_requires17h0d64c94d46269423E",
@@ -6704,6 +6706,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::single_with_contract_ensures",
       "mangled_name": "_ZN30standard_proofs_with_contracts6verify28single_with_contract_ensures17h20b53bc2b62de06bE",
@@ -10043,6 +10046,7 @@
     "attrs": [
       "#[kanitool::proof]"
     ],
+    "kind": "Standard",
     "func": {
       "name": "verify::two_contracts_requires_and_ensures",
       "mangled_name": "_ZN30standard_proofs_with_contracts6verify34two_contracts_requires_and_ensures17h489c80ab91e2c2beE",
