Skip to content

Commit d201112

Browse files
zjp-CNzjp-CN
committed
tests: update snapshots due to toolchain update
1 parent dc04faa commit d201112

31 files changed

+4388
-4388
lines changed

‎src/error_handling.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -52,7 +52,7 @@ mod tests {
5252
ERROR1
5353
5454
Location:
55-
src/error_handling.rs:43:61
55+
src/error_handling.rs:49:61
5656
"#]].assert_eq(&res.unwrap_err().to_string());
5757
}
5858

@@ -68,7 +68,7 @@ mod tests {
6868
ERROR1
6969
7070
Location:
71-
src/error_handling.rs:51:18
71+
src/error_handling.rs:63:18
7272
7373
7474
Location:

‎tests/kani_list/ad_hoc.txt‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
KaniList {
2-
kani_version: "0.61.0",
2+
kani_version: "0.62.0",
33
file_version: "0.1",
44
standard_harnesses: {
55
"tests/proofs/ad_hoc.rs": {

‎tests/kani_list/gen_contracts_by_macros.txt‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
KaniList {
2-
kani_version: "0.61.0",
2+
kani_version: "0.62.0",
33
file_version: "0.1",
44
standard_harnesses: {},
55
contract_harnesses: {

‎tests/kani_list/gen_proofs_by_macros.txt‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
KaniList {
2-
kani_version: "0.61.0",
2+
kani_version: "0.62.0",
33
file_version: "0.1",
44
standard_harnesses: {
55
"tests/proofs/gen_proofs_by_macros.rs": {

‎tests/kani_list/gen_proofs_by_nested_macros.txt‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
KaniList {
2-
kani_version: "0.61.0",
2+
kani_version: "0.62.0",
33
file_version: "0.1",
44
standard_harnesses: {
55
"tests/proofs/gen_proofs_by_nested_macros.rs": {

‎tests/kani_list/proofs_for_contract.txt‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
KaniList {
2-
kani_version: "0.61.0",
2+
kani_version: "0.62.0",
33
file_version: "0.1",
44
standard_harnesses: {},
55
contract_harnesses: {

‎tests/kani_list/standard_proofs.txt‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
KaniList {
2-
kani_version: "0.61.0",
2+
kani_version: "0.62.0",
33
file_version: "0.1",
44
standard_harnesses: {
55
"tests/proofs/standard_proofs.rs": {

‎tests/kani_list/standard_proofs_with_contracts.txt‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
KaniList {
2-
kani_version: "0.61.0",
2+
kani_version: "0.62.0",
33
file_version: "0.1",
44
standard_harnesses: {
55
"tests/proofs/standard_proofs_with_contracts.rs": {

‎tests/simplified/ad_hoc.json‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
[
22
{
3-
"hash": "231371728546000426415569688603538432620",
3+
"hash": "1169127772433107051910762480258862721704",
44
"attrs": [
5-
"#[kanitool::proof]"
5+
"#[kanitool::proof]\n"
66
],
77
"name": "adhoc::callee_defined_in_proof",
88
"file": "tests/proofs/ad_hoc.rs",
@@ -13,9 +13,9 @@
1313
]
1414
},
1515
{
16-
"hash": "61932375823549408104071622445676960413",
16+
"hash": "45356353433292067411028081932824047592",
1717
"attrs": [
18-
"#[kanitool::proof]"
18+
"#[kanitool::proof]\n"
1919
],
2020
"name": "adhoc::closure_in_proof",
2121
"file": "tests/proofs/ad_hoc.rs",
@@ -26,9 +26,9 @@
2626
]
2727
},
2828
{
29-
"hash": "6925603377655101244643534194235942800",
29+
"hash": "376713398218856890112497690805164100930",
3030
"attrs": [
31-
"#[kanitool::proof]"
31+
"#[kanitool::proof]\n"
3232
],
3333
"name": "adhoc::proof_in_fn_item::proof",
3434
"file": "tests/proofs/ad_hoc.rs",

‎tests/simplified/gen_contracts_by_macros.json‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
[
22
{
3-
"hash": "1689096496237791355510770873012758110496",
3+
"hash": "1464226525610256308612646858567537187198",
44
"attrs": [
5-
"#[kanitool::proof_for_contract = \"contract1\"]"
5+
"#[kanitool::proof_for_contract = \"contract1\"]\n"
66
],
77
"name": "verify::proof1",
88
"file": "tests/proofs/gen_contracts_by_macros.rs",
@@ -51,6 +51,8 @@
5151
"<usize as std::iter::Sum>::sum::<std::iter::Map<std::slice::Iter<'_, u8>, {closure@<std::iter::Filter<I, P> as std::iter::Iterator>::count::to_usize<&u8, {closure@core::str::count::char_count_general_case::{closure#0}}>::{closure#0}}>>::{closure#0}",
5252
"core::fmt::PostPadding::new",
5353
"core::fmt::PostPadding::write",
54+
"core::fmt::rt::<impl std::fmt::Arguments<'_>>::new_const::<1>",
55+
"core::fmt::rt::<impl std::fmt::Arguments<'_>>::new_v1::<1, 1>",
5456
"core::fmt::rt::Argument::<'_>::new_display::<&str>",
5557
"core::num::<impl u16>::overflowing_add",
5658
"core::num::<impl u16>::unchecked_add",
@@ -130,8 +132,6 @@
130132
"std::cmp::impls::<impl std::cmp::PartialOrd for usize>::lt",
131133
"std::cmp::min::<usize>",
132134
"std::convert::num::<impl std::convert::From<u16> for usize>::from",
133-
"std::fmt::Arguments::<'_>::new_const::<1>",
134-
"std::fmt::Arguments::<'_>::new_v1::<1, 1>",
135135
"std::fmt::Formatter::<'_>::pad",
136136
"std::fmt::Formatter::<'_>::padding",
137137
"std::fmt::FormattingOptions::get_align",
@@ -262,9 +262,9 @@
262262
]
263263
},
264264
{
265-
"hash": "68469033701256472383683903298250524375",
265+
"hash": "1102522625469360326811087974940169982141",
266266
"attrs": [
267-
"#[kanitool::proof_for_contract = \"contract2\"]"
267+
"#[kanitool::proof_for_contract = \"contract2\"]\n"
268268
],
269269
"name": "verify::proof2",
270270
"file": "tests/proofs/gen_contracts_by_macros.rs",
@@ -313,6 +313,8 @@
313313
"<usize as std::iter::Sum>::sum::<std::iter::Map<std::slice::Iter<'_, u8>, {closure@<std::iter::Filter<I, P> as std::iter::Iterator>::count::to_usize<&u8, {closure@core::str::count::char_count_general_case::{closure#0}}>::{closure#0}}>>::{closure#0}",
314314
"core::fmt::PostPadding::new",
315315
"core::fmt::PostPadding::write",
316+
"core::fmt::rt::<impl std::fmt::Arguments<'_>>::new_const::<1>",
317+
"core::fmt::rt::<impl std::fmt::Arguments<'_>>::new_v1::<1, 1>",
316318
"core::fmt::rt::Argument::<'_>::new_display::<&str>",
317319
"core::num::<impl u16>::overflowing_add",
318320
"core::num::<impl u16>::unchecked_add",
@@ -392,8 +394,6 @@
392394
"std::cmp::impls::<impl std::cmp::PartialOrd for usize>::lt",
393395
"std::cmp::min::<usize>",
394396
"std::convert::num::<impl std::convert::From<u16> for usize>::from",
395-
"std::fmt::Arguments::<'_>::new_const::<1>",
396-
"std::fmt::Arguments::<'_>::new_v1::<1, 1>",
397397
"std::fmt::Formatter::<'_>::pad",
398398
"std::fmt::Formatter::<'_>::padding",
399399
"std::fmt::FormattingOptions::get_align",
@@ -524,9 +524,9 @@
524524
]
525525
},
526526
{
527-
"hash": "541738454925646440912281930290055954593",
527+
"hash": "1775778566579290701410350421249473944550",
528528
"attrs": [
529-
"#[kanitool::proof_for_contract = \"contract3\"]"
529+
"#[kanitool::proof_for_contract = \"contract3\"]\n"
530530
],
531531
"name": "verify::proof3",
532532
"file": "tests/proofs/gen_contracts_by_macros.rs",
@@ -575,6 +575,8 @@
575575
"<usize as std::iter::Sum>::sum::<std::iter::Map<std::slice::Iter<'_, u8>, {closure@<std::iter::Filter<I, P> as std::iter::Iterator>::count::to_usize<&u8, {closure@core::str::count::char_count_general_case::{closure#0}}>::{closure#0}}>>::{closure#0}",
576576
"core::fmt::PostPadding::new",
577577
"core::fmt::PostPadding::write",
578+
"core::fmt::rt::<impl std::fmt::Arguments<'_>>::new_const::<1>",
579+
"core::fmt::rt::<impl std::fmt::Arguments<'_>>::new_v1::<1, 1>",
578580
"core::fmt::rt::Argument::<'_>::new_display::<&str>",
579581
"core::num::<impl u16>::overflowing_add",
580582
"core::num::<impl u16>::unchecked_add",
@@ -654,8 +656,6 @@
654656
"std::cmp::impls::<impl std::cmp::PartialOrd for usize>::lt",
655657
"std::cmp::min::<usize>",
656658
"std::convert::num::<impl std::convert::From<u16> for usize>::from",
657-
"std::fmt::Arguments::<'_>::new_const::<1>",
658-
"std::fmt::Arguments::<'_>::new_v1::<1, 1>",
659659
"std::fmt::Formatter::<'_>::pad",
660660
"std::fmt::Formatter::<'_>::padding",
661661
"std::fmt::FormattingOptions::get_align",

0 commit comments

Comments
 (0)