os-checker
diff --git a/‎tests/snapshots/compare/contract1.json‎
Lines changed: 250 additions & 250 deletions b/‎tests/snapshots/compare/contract1.json‎
Lines changed: 250 additions & 250 deletions
diff --git a/‎tests/snapshots/compare/contract2.json‎
Lines changed: 265 additions & 265 deletions b/‎tests/snapshots/compare/contract2.json‎
Lines changed: 265 additions & 265 deletions
diff --git a/‎tests/snapshots/compare/gen_proofs_by_nested_macros1.json‎
Lines changed: 7 additions & 7 deletions b/‎tests/snapshots/compare/gen_proofs_by_nested_macros1.json‎
Lines changed: 7 additions & 7 deletions
diff --git a/‎tests/snapshots/compare/gen_proofs_by_nested_macros2.json‎
Lines changed: 7 additions & 7 deletions b/‎tests/snapshots/compare/gen_proofs_by_nested_macros2.json‎
Lines changed: 7 additions & 7 deletions
diff --git a/‎tests/snapshots/compare/proof1.json‎
Lines changed: 2 additions & 2 deletions b/‎tests/snapshots/compare/proof1.json‎
Lines changed: 2 additions & 2 deletions
diff --git a/‎tests/snapshots/compare/proof2.json‎
Lines changed: 3 additions & 3 deletions b/‎tests/snapshots/compare/proof2.json‎
Lines changed: 3 additions & 3 deletions
diff --git a/‎tests/snapshots/proofs/ad_hoc.json‎
Lines changed: 12 additions & 12 deletions b/‎tests/snapshots/proofs/ad_hoc.json‎
Lines changed: 12 additions & 12 deletions
@@ -1,36 +1,36 @@
 [
   {
-    "hash": "128116389291748399097708809590772830786",
+    "hash": "55572913026840748716608743337673236259",
     "name": "<u8 as kani::Arbitrary>::any",
     "file": "distributed-verification/kani/library/kani_core/src/arbitrary.rs"
   },
   {
-    "hash": "1220099237073198494710193065325931072446",
+    "hash": "68274535513593337909786225705212968671",
     "name": "kani::any::<u8>",
     "file": "distributed-verification/kani/library/kani_core/src/lib.rs"
   },
   {
-    "hash": "639016265676536470412059127730951679109",
+    "hash": "40780521602476841886892566766173869531",
     "name": "kani::any_raw::<u8>",
     "file": "distributed-verification/kani/library/kani_core/src/lib.rs"
   },
   {
-    "hash": "7219302315358661591282750061493211645",
+    "hash": "1578592250970397543111042475520948950764",
     "name": "kani::any_raw_internal::<u8>",
     "file": "distributed-verification/kani/library/kani_core/src/lib.rs"
   },
   {
-    "hash": "85386554272966900401013542891375544490",
+    "hash": "1244597403627694301510934703754058676254",
     "name": "kani::assert",
     "file": "distributed-verification/kani/library/kani_core/src/lib.rs"
   },
   {
-    "hash": "63604683117599051803969663890141577372",
+    "hash": "149175872173893544699139397522263211378",
     "name": "kani::kani_intrinsic::<u8>",
     "file": "distributed-verification/kani/library/kani_core/src/lib.rs"
   },
   {
-    "hash": "1237033192097988757515525348633102415410",
+    "hash": "63909159343834640249673637360240369571",
     "name": "verify::proof1",
     "file": "tests/compare/gen_proofs_by_nested_macros.rs",
     "proof_kind": "Standard"
 
@@ -1,36 +1,36 @@
 [
   {
-    "hash": "128116389291748399097708809590772830786",
+    "hash": "55572913026840748716608743337673236259",
     "name": "<u8 as kani::Arbitrary>::any",
     "file": "distributed-verification/kani/library/kani_core/src/arbitrary.rs"
   },
   {
-    "hash": "1220099237073198494710193065325931072446",
+    "hash": "68274535513593337909786225705212968671",
     "name": "kani::any::<u8>",
     "file": "distributed-verification/kani/library/kani_core/src/lib.rs"
   },
   {
-    "hash": "639016265676536470412059127730951679109",
+    "hash": "40780521602476841886892566766173869531",
     "name": "kani::any_raw::<u8>",
     "file": "distributed-verification/kani/library/kani_core/src/lib.rs"
   },
   {
-    "hash": "7219302315358661591282750061493211645",
+    "hash": "1578592250970397543111042475520948950764",
     "name": "kani::any_raw_internal::<u8>",
     "file": "distributed-verification/kani/library/kani_core/src/lib.rs"
   },
   {
-    "hash": "85386554272966900401013542891375544490",
+    "hash": "1244597403627694301510934703754058676254",
     "name": "kani::assert",
     "file": "distributed-verification/kani/library/kani_core/src/lib.rs"
   },
   {
-    "hash": "63604683117599051803969663890141577372",
+    "hash": "149175872173893544699139397522263211378",
     "name": "kani::kani_intrinsic::<u8>",
     "file": "distributed-verification/kani/library/kani_core/src/lib.rs"
   },
   {
-    "hash": "1393693445171890352818114087991191153935",
+    "hash": "6049791535301547191723508871959023129",
     "name": "verify::proof1",
     "file": "tests/compare/gen_proofs_by_nested_macros.rs",
     "proof_kind": "Standard"
 
@@ -1,11 +1,11 @@
 [
   {
-    "hash": "85386554272966900401013542891375544490",
+    "hash": "1244597403627694301510934703754058676254",
     "name": "kani::assert",
     "file": "distributed-verification/kani/library/kani_core/src/lib.rs"
   },
   {
-    "hash": "131409162255971290596218362589820380184",
+    "hash": "1025986832077421227411916928144234564409",
     "name": "verify::f",
     "file": "tests/compare/proof.rs",
     "proof_kind": "Standard"
 
@@ -1,17 +1,17 @@
 [
   {
-    "hash": "85386554272966900401013542891375544490",
+    "hash": "1244597403627694301510934703754058676254",
     "name": "kani::assert",
     "file": "distributed-verification/kani/library/kani_core/src/lib.rs"
   },
   {
-    "hash": "131409162255971290596218362589820380184",
+    "hash": "1025986832077421227411916928144234564409",
     "name": "verify::f",
     "file": "tests/compare/proof.rs",
     "proof_kind": "Standard"
   },
   {
-    "hash": "137307750907139410719913422958790457405",
+    "hash": "1360231931955151956814099580363286591245",
     "name": "verify::g",
     "file": "tests/compare/proof.rs",
     "proof_kind": "Standard"
 
@@ -1,64 +1,64 @@
 [
   {
-    "hash": "128116389291748399097708809590772830786",
+    "hash": "55572913026840748716608743337673236259",
     "name": "<u8 as kani::Arbitrary>::any",
     "file": "distributed-verification/kani/library/kani_core/src/arbitrary.rs"
   },
   {
-    "hash": "1220099237073198494710193065325931072446",
+    "hash": "68274535513593337909786225705212968671",
     "name": "kani::any::<u8>",
     "file": "distributed-verification/kani/library/kani_core/src/lib.rs"
   },
   {
-    "hash": "639016265676536470412059127730951679109",
+    "hash": "40780521602476841886892566766173869531",
     "name": "kani::any_raw::<u8>",
     "file": "distributed-verification/kani/library/kani_core/src/lib.rs"
   },
   {
-    "hash": "7219302315358661591282750061493211645",
+    "hash": "1578592250970397543111042475520948950764",
     "name": "kani::any_raw_internal::<u8>",
     "file": "distributed-verification/kani/library/kani_core/src/lib.rs"
   },
   {
-    "hash": "85386554272966900401013542891375544490",
+    "hash": "1244597403627694301510934703754058676254",
     "name": "kani::assert",
     "file": "distributed-verification/kani/library/kani_core/src/lib.rs"
   },
   {
-    "hash": "63604683117599051803969663890141577372",
+    "hash": "149175872173893544699139397522263211378",
     "name": "kani::kani_intrinsic::<u8>",
     "file": "distributed-verification/kani/library/kani_core/src/lib.rs"
   },
   {
-    "hash": "1309208653661377515712365765387508062295",
+    "hash": "1200931582257181812614229601649851668009",
     "name": "adhoc::callee_defined_in_proof",
     "file": "tests/proofs/ad_hoc.rs",
     "proof_kind": "Standard"
   },
   {
-    "hash": "121241449027392343293277247323178552130",
+    "hash": "908937831269365874610505308953443914658",
     "name": "adhoc::closure_in_proof",
     "file": "tests/proofs/ad_hoc.rs",
     "proof_kind": "Standard"
   },
   {
-    "hash": "176562382691056163816147651461090160383",
+    "hash": "115651166318048715113551861578234640044",
     "name": "adhoc::proof_in_fn_item::proof",
     "file": "tests/proofs/ad_hoc.rs",
     "proof_kind": "Standard"
   },
   {
-    "hash": "116120900122094656513436693948576572312",
+    "hash": "1500538258975458639914497166363638327649",
     "name": "adhoc::callee_defined_in_proof::f",
     "file": "tests/proofs/ad_hoc.rs"
   },
   {
-    "hash": "473300523053102860818369013278639669537",
+    "hash": "363761324671953982515427843629895511117",
     "name": "adhoc::closure_in_proof::{closure#0}",
     "file": "tests/proofs/ad_hoc.rs"
   },
   {
-    "hash": "494895237266828626812876351891424860387",
+    "hash": "38813607608080739213573698288440140390",
     "name": "adhoc::proof_in_fn_item",
     "file": "tests/proofs/ad_hoc.rs"
   }
Original file line number	Diff line number	Diff line change
`@@ -1,36 +1,36 @@`
`1`	`1`	`[`
`2`	`2`	`{`
`3`		`- "hash": "128116389291748399097708809590772830786",`
	`3`	`+ "hash": "55572913026840748716608743337673236259",`
`4`	`4`	`"name": "<u8 as kani::Arbitrary>::any",`
`5`	`5`	`"file": "distributed-verification/kani/library/kani_core/src/arbitrary.rs"`
`6`	`6`	`},`
`7`	`7`	`{`
`8`		`- "hash": "1220099237073198494710193065325931072446",`
	`8`	`+ "hash": "68274535513593337909786225705212968671",`
`9`	`9`	`"name": "kani::any::<u8>",`
`10`	`10`	`"file": "distributed-verification/kani/library/kani_core/src/lib.rs"`
`11`	`11`	`},`
`12`	`12`	`{`
`13`		`- "hash": "639016265676536470412059127730951679109",`
	`13`	`+ "hash": "40780521602476841886892566766173869531",`
`14`	`14`	`"name": "kani::any_raw::<u8>",`
`15`	`15`	`"file": "distributed-verification/kani/library/kani_core/src/lib.rs"`
`16`	`16`	`},`
`17`	`17`	`{`
`18`		`- "hash": "7219302315358661591282750061493211645",`
	`18`	`+ "hash": "1578592250970397543111042475520948950764",`
`19`	`19`	`"name": "kani::any_raw_internal::<u8>",`
`20`	`20`	`"file": "distributed-verification/kani/library/kani_core/src/lib.rs"`
`21`	`21`	`},`
`22`	`22`	`{`
`23`		`- "hash": "85386554272966900401013542891375544490",`
	`23`	`+ "hash": "1244597403627694301510934703754058676254",`
`24`	`24`	`"name": "kani::assert",`
`25`	`25`	`"file": "distributed-verification/kani/library/kani_core/src/lib.rs"`
`26`	`26`	`},`
`27`	`27`	`{`
`28`		`- "hash": "63604683117599051803969663890141577372",`
	`28`	`+ "hash": "149175872173893544699139397522263211378",`
`29`	`29`	`"name": "kani::kani_intrinsic::<u8>",`
`30`	`30`	`"file": "distributed-verification/kani/library/kani_core/src/lib.rs"`
`31`	`31`	`},`
`32`	`32`	`{`
`33`		`- "hash": "1237033192097988757515525348633102415410",`
	`33`	`+ "hash": "63909159343834640249673637360240369571",`
`34`	`34`	`"name": "verify::proof1",`
`35`	`35`	`"file": "tests/compare/gen_proofs_by_nested_macros.rs",`
`36`	`36`	`"proof_kind": "Standard"`
Original file line number	Diff line number	Diff line change
`@@ -1,11 +1,11 @@`
`1`	`1`	`[`
`2`	`2`	`{`
`3`		`- "hash": "85386554272966900401013542891375544490",`
	`3`	`+ "hash": "1244597403627694301510934703754058676254",`
`4`	`4`	`"name": "kani::assert",`
`5`	`5`	`"file": "distributed-verification/kani/library/kani_core/src/lib.rs"`
`6`	`6`	`},`
`7`	`7`	`{`
`8`		`- "hash": "131409162255971290596218362589820380184",`
	`8`	`+ "hash": "1025986832077421227411916928144234564409",`
`9`	`9`	`"name": "verify::f",`
`10`	`10`	`"file": "tests/compare/proof.rs",`
`11`	`11`	`"proof_kind": "Standard"`
Original file line number	Diff line number	Diff line change
`@@ -1,17 +1,17 @@`
`1`	`1`	`[`
`2`	`2`	`{`
`3`		`- "hash": "85386554272966900401013542891375544490",`
	`3`	`+ "hash": "1244597403627694301510934703754058676254",`
`4`	`4`	`"name": "kani::assert",`
`5`	`5`	`"file": "distributed-verification/kani/library/kani_core/src/lib.rs"`
`6`	`6`	`},`
`7`	`7`	`{`
`8`		`- "hash": "131409162255971290596218362589820380184",`
	`8`	`+ "hash": "1025986832077421227411916928144234564409",`
`9`	`9`	`"name": "verify::f",`
`10`	`10`	`"file": "tests/compare/proof.rs",`
`11`	`11`	`"proof_kind": "Standard"`
`12`	`12`	`},`
`13`	`13`	`{`
`14`		`- "hash": "137307750907139410719913422958790457405",`
	`14`	`+ "hash": "1360231931955151956814099580363286591245",`
`15`	`15`	`"name": "verify::g",`
`16`	`16`	`"file": "tests/compare/proof.rs",`
`17`	`17`	`"proof_kind": "Standard"`