test: update snapshots due to hash file path back

zjp-CN · zjp-CN · commit 7f9de12cb3b4 · 2025-04-16T22:31:14.000+08:00
diff --git a/tests/snapshots/ad_hoc.json b/tests/snapshots/ad_hoc.json
@@ -1,6 +1,6 @@
 [
   {
-    "hash": "10655023569148153324449981413843532452",
+    "hash": "240402353946165679413432703131261523692",
     "def_id": "DefId { id: 0, name: \"adhoc::callee_defined_in_proof\" }",
     "attrs": [
       "#[kanitool::proof]"
@@ -30,7 +30,7 @@
     ]
   },
   {
-    "hash": "79774297860844392025388862955799835958",
+    "hash": "910297032864347757816118745588521867089",
     "def_id": "DefId { id: 2, name: \"adhoc::closure_in_proof\" }",
     "attrs": [
       "#[kanitool::proof]"
@@ -60,7 +60,7 @@
     ]
   },
   {
-    "hash": "1291521982426130649016479097978635423963",
+    "hash": "210930681113882741614289248380189671885",
     "def_id": "DefId { id: 5, name: \"adhoc::proof_in_fn_item::proof\" }",
     "attrs": [
       "#[kanitool::proof]"
diff --git a/tests/snapshots/contract1.json b/tests/snapshots/contract1.json
@@ -1,6 +1,6 @@
 [
   {
-    "hash": "142480961098313829086739331134333133873",
+    "hash": "767709965873040961211552770308306929266",
     "def_id": "DefId { id: 13, name: \"verify::f\" }",
     "attrs": [
       "#[kanitool::proof]"
diff --git a/tests/snapshots/contract2.json b/tests/snapshots/contract2.json
@@ -1,6 +1,6 @@
 [
   {
-    "hash": "142480961098313829086739331134333133873",
+    "hash": "767709965873040961211552770308306929266",
     "def_id": "DefId { id: 13, name: \"verify::f\" }",
     "attrs": [
       "#[kanitool::proof]"
diff --git a/tests/snapshots/gen_by_macros.json b/tests/snapshots/gen_by_macros.json
@@ -1,6 +1,6 @@
 [
   {
-    "hash": "975053280399656902416947254920631190028",
+    "hash": "11523848083194292978283464977531584378",
     "def_id": "DefId { id: 0, name: \"verify::proof1\" }",
     "attrs": [
       "#[kanitool::proof]"
@@ -62,7 +62,7 @@
     ]
   },
   {
-    "hash": "236593704829635227314040469354864202296",
+    "hash": "1149667103326042736912034193006744676464",
     "def_id": "DefId { id: 1, name: \"verify::proof2\" }",
     "attrs": [
       "#[kanitool::proof]"
@@ -124,7 +124,7 @@
     ]
   },
   {
-    "hash": "5474537339301642838978910224697845004",
+    "hash": "181931886334719422625983948383201250208",
     "def_id": "DefId { id: 2, name: \"verify::proof3\" }",
     "attrs": [
       "#[kanitool::proof]"
diff --git a/tests/snapshots/proof1.json b/tests/snapshots/proof1.json
@@ -1,6 +1,6 @@
 [
   {
-    "hash": "327831672023728938116624563073238276451",
+    "hash": "876433099390387370318218200145590989814",
     "def_id": "DefId { id: 0, name: \"verify::f\" }",
     "attrs": [
       "#[kanitool::proof]"
diff --git a/tests/snapshots/proof2.json b/tests/snapshots/proof2.json
@@ -1,6 +1,6 @@
 [
   {
-    "hash": "327831672023728938116624563073238276451",
+    "hash": "876433099390387370318218200145590989814",
     "def_id": "DefId { id: 0, name: \"verify::f\" }",
     "attrs": [
       "#[kanitool::proof]"
@@ -22,7 +22,7 @@
     ]
   },
   {
-    "hash": "588068929243813241914251336986802616528",
+    "hash": "47211252920145052832965334366253119118",
     "def_id": "DefId { id: 1, name: \"verify::g\" }",
     "attrs": [
       "#[kanitool::proof]"
diff --git a/tests/snapshots/proofs_for_contract.json b/tests/snapshots/proofs_for_contract.json
@@ -1,6 +1,6 @@
 [
   {
-    "hash": "91093625084678398772417494263818534423",
+    "hash": "1541452575249063343918340705763670937398",
     "def_id": "DefId { id: 52, name: \"verify::single_contract\" }",
     "attrs": [
       "#[kanitool::proof_for_contract = \"contract\"]"
@@ -2022,7 +2022,7 @@
     ]
   },
   {
-    "hash": "85631967875463156587823964361925379798",
+    "hash": "756825828074763827912320486039553786331",
     "def_id": "DefId { id: 13, name: \"verify::single_contract_requires\" }",
     "attrs": [
       "#[kanitool::proof_for_contract = \"contract_requires\"]"
@@ -4036,7 +4036,7 @@
     ]
   },
   {
-    "hash": "998343249299451067011292903713166671073",
+    "hash": "801752073635256757417019786875529748974",
     "def_id": "DefId { id: 32, name: \"verify::single_with_contract_ensures\" }",
     "attrs": [
       "#[kanitool::proof_for_contract = \"contract_ensures\"]"
@@ -6050,7 +6050,7 @@
     ]
   },
   {
-    "hash": "1497837271333938501322803356149404226",
+    "hash": "151755455217283930895298708343973534301",
     "def_id": "DefId { id: 33, name: \"verify::two_contracts_requires_and_ensures\" }",
     "attrs": [
       "#[kanitool::proof_for_contract = \"contract_requires\"]"
diff --git a/tests/snapshots/standard_proofs.json b/tests/snapshots/standard_proofs.json
@@ -1,6 +1,6 @@
 [
   {
-    "hash": "20077778460778350624066805476663349658",
+    "hash": "147500802738864013634348419742020797728",
     "def_id": "DefId { id: 2, name: \"verify::recursive_callees\" }",
     "attrs": [
       "#[kanitool::proof]"
@@ -886,7 +886,7 @@
     ]
   },
   {
-    "hash": "888292817355035253410315439951109471260",
+    "hash": "175321326914613994963108370977652763114",
     "def_id": "DefId { id: 0, name: \"verify::standard_proof\" }",
     "attrs": [
       "#[kanitool::proof]"
@@ -948,7 +948,7 @@
     ]
   },
   {
-    "hash": "1449926940103602841215372155038550657867",
+    "hash": "1003161476883226944918155362115943570702",
     "def_id": "DefId { id: 1, name: \"verify::standard_proof_empty\" }",
     "attrs": [
       "#[kanitool::proof]"
diff --git a/tests/snapshots/standard_proofs_with_contracts.json b/tests/snapshots/standard_proofs_with_contracts.json
@@ -1,6 +1,6 @@
 [
   {
-    "hash": "80162896300613540515264293433698156925",
+    "hash": "1570925937004558386412584183501054866293",
     "def_id": "DefId { id: 52, name: \"verify::single_contract\" }",
     "attrs": [
       "#[kanitool::proof]"
@@ -2014,7 +2014,7 @@
     ]
   },
   {
-    "hash": "26048516071965688071692284877099284264",
+    "hash": "139884621660690734155116606058903008508",
     "def_id": "DefId { id: 13, name: \"verify::single_contract_requires\" }",
     "attrs": [
       "#[kanitool::proof]"
@@ -4020,7 +4020,7 @@
     ]
   },
   {
-    "hash": "67386127494205288441827730468529961515",
+    "hash": "181716887549922576258854168274666468787",
     "def_id": "DefId { id: 32, name: \"verify::single_with_contract_ensures\" }",
     "attrs": [
       "#[kanitool::proof]"
@@ -6026,7 +6026,7 @@
     ]
   },
   {
-    "hash": "1328299864218339422317477292514841402934",
+    "hash": "98241123100821293811591147202932033649",
     "def_id": "DefId { id: 33, name: \"verify::two_contracts_requires_and_ensures\" }",
     "attrs": [
       "#[kanitool::proof]"

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`[`
`2`	`2`	`{`
`3`		`- "hash": "10655023569148153324449981413843532452",`
	`3`	`+ "hash": "240402353946165679413432703131261523692",`
`4`	`4`	`"def_id": "DefId { id: 0, name: \"adhoc::callee_defined_in_proof\" }",`
`5`	`5`	`"attrs": [`
`6`	`6`	`"#[kanitool::proof]"`
`@@ -30,7 +30,7 @@`
`30`	`30`	`]`
`31`	`31`	`},`
`32`	`32`	`{`
`33`		`- "hash": "79774297860844392025388862955799835958",`
	`33`	`+ "hash": "910297032864347757816118745588521867089",`
`34`	`34`	`"def_id": "DefId { id: 2, name: \"adhoc::closure_in_proof\" }",`
`35`	`35`	`"attrs": [`
`36`	`36`	`"#[kanitool::proof]"`
`@@ -60,7 +60,7 @@`
`60`	`60`	`]`
`61`	`61`	`},`
`62`	`62`	`{`
`63`		`- "hash": "1291521982426130649016479097978635423963",`
	`63`	`+ "hash": "210930681113882741614289248380189671885",`
`64`	`64`	`"def_id": "DefId { id: 5, name: \"adhoc::proof_in_fn_item::proof\" }",`
`65`	`65`	`"attrs": [`
`66`	`66`	`"#[kanitool::proof]"`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`[`
`2`	`2`	`{`
`3`		`- "hash": "142480961098313829086739331134333133873",`
	`3`	`+ "hash": "767709965873040961211552770308306929266",`
`4`	`4`	`"def_id": "DefId { id: 13, name: \"verify::f\" }",`
`5`	`5`	`"attrs": [`
`6`	`6`	`"#[kanitool::proof]"`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`[`
`2`	`2`	`{`
`3`		`- "hash": "975053280399656902416947254920631190028",`
	`3`	`+ "hash": "11523848083194292978283464977531584378",`
`4`	`4`	`"def_id": "DefId { id: 0, name: \"verify::proof1\" }",`
`5`	`5`	`"attrs": [`
`6`	`6`	`"#[kanitool::proof]"`
`@@ -62,7 +62,7 @@`
`62`	`62`	`]`
`63`	`63`	`},`
`64`	`64`	`{`
`65`		`- "hash": "236593704829635227314040469354864202296",`
	`65`	`+ "hash": "1149667103326042736912034193006744676464",`
`66`	`66`	`"def_id": "DefId { id: 1, name: \"verify::proof2\" }",`
`67`	`67`	`"attrs": [`
`68`	`68`	`"#[kanitool::proof]"`
`@@ -124,7 +124,7 @@`
`124`	`124`	`]`
`125`	`125`	`},`
`126`	`126`	`{`
`127`		`- "hash": "5474537339301642838978910224697845004",`
	`127`	`+ "hash": "181931886334719422625983948383201250208",`
`128`	`128`	`"def_id": "DefId { id: 2, name: \"verify::proof3\" }",`
`129`	`129`	`"attrs": [`
`130`	`130`	`"#[kanitool::proof]"`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`[`
`2`	`2`	`{`
`3`		`- "hash": "327831672023728938116624563073238276451",`
	`3`	`+ "hash": "876433099390387370318218200145590989814",`
`4`	`4`	`"def_id": "DefId { id: 0, name: \"verify::f\" }",`
`5`	`5`	`"attrs": [`
`6`	`6`	`"#[kanitool::proof]"`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`[`
`2`	`2`	`{`
`3`		`- "hash": "91093625084678398772417494263818534423",`
	`3`	`+ "hash": "1541452575249063343918340705763670937398",`
`4`	`4`	`"def_id": "DefId { id: 52, name: \"verify::single_contract\" }",`
`5`	`5`	`"attrs": [`
`6`	`6`	`"#[kanitool::proof_for_contract = \"contract\"]"`
`@@ -2022,7 +2022,7 @@`
`2022`	`2022`	`]`
`2023`	`2023`	`},`
`2024`	`2024`	`{`
`2025`		`- "hash": "85631967875463156587823964361925379798",`
	`2025`	`+ "hash": "756825828074763827912320486039553786331",`
`2026`	`2026`	`"def_id": "DefId { id: 13, name: \"verify::single_contract_requires\" }",`
`2027`	`2027`	`"attrs": [`
`2028`	`2028`	`"#[kanitool::proof_for_contract = \"contract_requires\"]"`
`@@ -4036,7 +4036,7 @@`
`4036`	`4036`	`]`
`4037`	`4037`	`},`
`4038`	`4038`	`{`
`4039`		`- "hash": "998343249299451067011292903713166671073",`
	`4039`	`+ "hash": "801752073635256757417019786875529748974",`
`4040`	`4040`	`"def_id": "DefId { id: 32, name: \"verify::single_with_contract_ensures\" }",`
`4041`	`4041`	`"attrs": [`
`4042`	`4042`	`"#[kanitool::proof_for_contract = \"contract_ensures\"]"`
`@@ -6050,7 +6050,7 @@`
`6050`	`6050`	`]`
`6051`	`6051`	`},`
`6052`	`6052`	`{`
`6053`		`- "hash": "1497837271333938501322803356149404226",`
	`6053`	`+ "hash": "151755455217283930895298708343973534301",`
`6054`	`6054`	`"def_id": "DefId { id: 33, name: \"verify::two_contracts_requires_and_ensures\" }",`
`6055`	`6055`	`"attrs": [`
`6056`	`6056`	`"#[kanitool::proof_for_contract = \"contract_requires\"]"`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`[`
`2`	`2`	`{`
`3`		`- "hash": "20077778460778350624066805476663349658",`
	`3`	`+ "hash": "147500802738864013634348419742020797728",`
`4`	`4`	`"def_id": "DefId { id: 2, name: \"verify::recursive_callees\" }",`
`5`	`5`	`"attrs": [`
`6`	`6`	`"#[kanitool::proof]"`
`@@ -886,7 +886,7 @@`
`886`	`886`	`]`
`887`	`887`	`},`
`888`	`888`	`{`
`889`		`- "hash": "888292817355035253410315439951109471260",`
	`889`	`+ "hash": "175321326914613994963108370977652763114",`
`890`	`890`	`"def_id": "DefId { id: 0, name: \"verify::standard_proof\" }",`
`891`	`891`	`"attrs": [`
`892`	`892`	`"#[kanitool::proof]"`
`@@ -948,7 +948,7 @@`
`948`	`948`	`]`
`949`	`949`	`},`
`950`	`950`	`{`
`951`		`- "hash": "1449926940103602841215372155038550657867",`
	`951`	`+ "hash": "1003161476883226944918155362115943570702",`
`952`	`952`	`"def_id": "DefId { id: 1, name: \"verify::standard_proof_empty\" }",`
`953`	`953`	`"attrs": [`
`954`	`954`	`"#[kanitool::proof]"`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`[`
`2`	`2`	`{`
`3`		`- "hash": "80162896300613540515264293433698156925",`
	`3`	`+ "hash": "1570925937004558386412584183501054866293",`
`4`	`4`	`"def_id": "DefId { id: 52, name: \"verify::single_contract\" }",`
`5`	`5`	`"attrs": [`
`6`	`6`	`"#[kanitool::proof]"`
`@@ -2014,7 +2014,7 @@`
`2014`	`2014`	`]`
`2015`	`2015`	`},`
`2016`	`2016`	`{`
`2017`		`- "hash": "26048516071965688071692284877099284264",`
	`2017`	`+ "hash": "139884621660690734155116606058903008508",`
`2018`	`2018`	`"def_id": "DefId { id: 13, name: \"verify::single_contract_requires\" }",`
`2019`	`2019`	`"attrs": [`
`2020`	`2020`	`"#[kanitool::proof]"`
`@@ -4020,7 +4020,7 @@`
`4020`	`4020`	`]`
`4021`	`4021`	`},`
`4022`	`4022`	`{`
`4023`		`- "hash": "67386127494205288441827730468529961515",`
	`4023`	`+ "hash": "181716887549922576258854168274666468787",`
`4024`	`4024`	`"def_id": "DefId { id: 32, name: \"verify::single_with_contract_ensures\" }",`
`4025`	`4025`	`"attrs": [`
`4026`	`4026`	`"#[kanitool::proof]"`
`@@ -6026,7 +6026,7 @@`
`6026`	`6026`	`]`
`6027`	`6027`	`},`
`6028`	`6028`	`{`
`6029`		`- "hash": "1328299864218339422317477292514841402934",`
	`6029`	`+ "hash": "98241123100821293811591147202932033649",`
`6030`	`6030`	`"def_id": "DefId { id: 33, name: \"verify::two_contracts_requires_and_ensures\" }",`
`6031`	`6031`	`"attrs": [`
`6032`	`6032`	`"#[kanitool::proof]"`