Skip to content

Commit 9b46ae9

Browse files
zjp-CNzjp-CN
committed
test: update snapshots due to CI kani-list from a recent commit
not a submodule commit
1 parent eac206c commit 9b46ae9

File tree

2 files changed

+115
-2
lines changed

2 files changed

+115
-2
lines changed

‎tests/snapshots/verify-rust-std/harness_names.txt‎

Lines changed: 113 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1473,6 +1473,41 @@
14731473
"convert::num::verify::check_f16_to_int_unchecked::f64::u64::check_float_to_int_unchecked",
14741474
"convert::num::verify::check_f16_to_int_unchecked::f64::u8::check_float_to_int_unchecked",
14751475
"convert::num::verify::check_f16_to_int_unchecked::f64::usize::check_float_to_int_unchecked",
1476+
"convert::num::verify::check_nonzero_int_from_i16::i128::check_nonzero_int_from_nonzero_int",
1477+
"convert::num::verify::check_nonzero_int_from_i16::i32::check_nonzero_int_from_nonzero_int",
1478+
"convert::num::verify::check_nonzero_int_from_i16::i64::check_nonzero_int_from_nonzero_int",
1479+
"convert::num::verify::check_nonzero_int_from_i16::isize::check_nonzero_int_from_nonzero_int",
1480+
"convert::num::verify::check_nonzero_int_from_i32::i128::check_nonzero_int_from_nonzero_int",
1481+
"convert::num::verify::check_nonzero_int_from_i32::i64::check_nonzero_int_from_nonzero_int",
1482+
"convert::num::verify::check_nonzero_int_from_i64::i128::check_nonzero_int_from_nonzero_int",
1483+
"convert::num::verify::check_nonzero_int_from_i8::i128::check_nonzero_int_from_nonzero_int",
1484+
"convert::num::verify::check_nonzero_int_from_i8::i16::check_nonzero_int_from_nonzero_int",
1485+
"convert::num::verify::check_nonzero_int_from_i8::i32::check_nonzero_int_from_nonzero_int",
1486+
"convert::num::verify::check_nonzero_int_from_i8::i64::check_nonzero_int_from_nonzero_int",
1487+
"convert::num::verify::check_nonzero_int_from_i8::isize::check_nonzero_int_from_nonzero_int",
1488+
"convert::num::verify::check_nonzero_int_from_u16::i128::check_nonzero_int_from_nonzero_int",
1489+
"convert::num::verify::check_nonzero_int_from_u16::i32::check_nonzero_int_from_nonzero_int",
1490+
"convert::num::verify::check_nonzero_int_from_u16::i64::check_nonzero_int_from_nonzero_int",
1491+
"convert::num::verify::check_nonzero_int_from_u16::u128::check_nonzero_int_from_nonzero_int",
1492+
"convert::num::verify::check_nonzero_int_from_u16::u32::check_nonzero_int_from_nonzero_int",
1493+
"convert::num::verify::check_nonzero_int_from_u16::u64::check_nonzero_int_from_nonzero_int",
1494+
"convert::num::verify::check_nonzero_int_from_u16::usize::check_nonzero_int_from_nonzero_int",
1495+
"convert::num::verify::check_nonzero_int_from_u32::i128::check_nonzero_int_from_nonzero_int",
1496+
"convert::num::verify::check_nonzero_int_from_u32::i64::check_nonzero_int_from_nonzero_int",
1497+
"convert::num::verify::check_nonzero_int_from_u32::u128::check_nonzero_int_from_nonzero_int",
1498+
"convert::num::verify::check_nonzero_int_from_u32::u64::check_nonzero_int_from_nonzero_int",
1499+
"convert::num::verify::check_nonzero_int_from_u64::i128::check_nonzero_int_from_nonzero_int",
1500+
"convert::num::verify::check_nonzero_int_from_u64::u128::check_nonzero_int_from_nonzero_int",
1501+
"convert::num::verify::check_nonzero_int_from_u8::i128::check_nonzero_int_from_nonzero_int",
1502+
"convert::num::verify::check_nonzero_int_from_u8::i16::check_nonzero_int_from_nonzero_int",
1503+
"convert::num::verify::check_nonzero_int_from_u8::i32::check_nonzero_int_from_nonzero_int",
1504+
"convert::num::verify::check_nonzero_int_from_u8::i64::check_nonzero_int_from_nonzero_int",
1505+
"convert::num::verify::check_nonzero_int_from_u8::isize::check_nonzero_int_from_nonzero_int",
1506+
"convert::num::verify::check_nonzero_int_from_u8::u128::check_nonzero_int_from_nonzero_int",
1507+
"convert::num::verify::check_nonzero_int_from_u8::u16::check_nonzero_int_from_nonzero_int",
1508+
"convert::num::verify::check_nonzero_int_from_u8::u32::check_nonzero_int_from_nonzero_int",
1509+
"convert::num::verify::check_nonzero_int_from_u8::u64::check_nonzero_int_from_nonzero_int",
1510+
"convert::num::verify::check_nonzero_int_from_u8::usize::check_nonzero_int_from_nonzero_int",
14761511
"convert::num::verify::check_nonzero_int_try_from_i128::i16::check_nonzero_int_try_from_nonzero_int",
14771512
"convert::num::verify::check_nonzero_int_try_from_i128::i16::check_nonzero_int_try_from_nonzero_int_should_panic",
14781513
"convert::num::verify::check_nonzero_int_try_from_i128::i32::check_nonzero_int_try_from_nonzero_int",
@@ -4897,10 +4932,88 @@
48974932
"num::verify::checked_f64_to_int_unchecked_u64",
48984933
"num::verify::checked_f64_to_int_unchecked_u8",
48994934
"num::verify::checked_f64_to_int_unchecked_usize",
4935+
"num::verify::checked_unchecked_add_i128",
4936+
"num::verify::checked_unchecked_add_i16",
4937+
"num::verify::checked_unchecked_add_i32",
4938+
"num::verify::checked_unchecked_add_i64",
4939+
"num::verify::checked_unchecked_add_i8",
4940+
"num::verify::checked_unchecked_add_isize",
4941+
"num::verify::checked_unchecked_add_u128",
4942+
"num::verify::checked_unchecked_add_u16",
4943+
"num::verify::checked_unchecked_add_u32",
4944+
"num::verify::checked_unchecked_add_u64",
4945+
"num::verify::checked_unchecked_add_u8",
4946+
"num::verify::checked_unchecked_add_usize",
49004947
"num::verify::checked_unchecked_mul_i16",
49014948
"num::verify::checked_unchecked_mul_i8",
49024949
"num::verify::checked_unchecked_mul_u16",
49034950
"num::verify::checked_unchecked_mul_u8",
4951+
"num::verify::checked_unchecked_neg_i128",
4952+
"num::verify::checked_unchecked_neg_i16",
4953+
"num::verify::checked_unchecked_neg_i32",
4954+
"num::verify::checked_unchecked_neg_i64",
4955+
"num::verify::checked_unchecked_neg_i8",
4956+
"num::verify::checked_unchecked_neg_isize",
4957+
"num::verify::checked_unchecked_shl_i128",
4958+
"num::verify::checked_unchecked_shl_i16",
4959+
"num::verify::checked_unchecked_shl_i32",
4960+
"num::verify::checked_unchecked_shl_i64",
4961+
"num::verify::checked_unchecked_shl_i8",
4962+
"num::verify::checked_unchecked_shl_isize",
4963+
"num::verify::checked_unchecked_shl_u128",
4964+
"num::verify::checked_unchecked_shl_u16",
4965+
"num::verify::checked_unchecked_shl_u32",
4966+
"num::verify::checked_unchecked_shl_u64",
4967+
"num::verify::checked_unchecked_shl_u8",
4968+
"num::verify::checked_unchecked_shl_usize",
4969+
"num::verify::checked_unchecked_shr_i128",
4970+
"num::verify::checked_unchecked_shr_i16",
4971+
"num::verify::checked_unchecked_shr_i32",
4972+
"num::verify::checked_unchecked_shr_i64",
4973+
"num::verify::checked_unchecked_shr_i8",
4974+
"num::verify::checked_unchecked_shr_isize",
4975+
"num::verify::checked_unchecked_shr_u128",
4976+
"num::verify::checked_unchecked_shr_u16",
4977+
"num::verify::checked_unchecked_shr_u32",
4978+
"num::verify::checked_unchecked_shr_u64",
4979+
"num::verify::checked_unchecked_shr_u8",
4980+
"num::verify::checked_unchecked_shr_usize",
4981+
"num::verify::checked_unchecked_sub_i128",
4982+
"num::verify::checked_unchecked_sub_i16",
4983+
"num::verify::checked_unchecked_sub_i32",
4984+
"num::verify::checked_unchecked_sub_i64",
4985+
"num::verify::checked_unchecked_sub_i8",
4986+
"num::verify::checked_unchecked_sub_isize",
4987+
"num::verify::checked_unchecked_sub_u128",
4988+
"num::verify::checked_unchecked_sub_u16",
4989+
"num::verify::checked_unchecked_sub_u32",
4990+
"num::verify::checked_unchecked_sub_u64",
4991+
"num::verify::checked_unchecked_sub_u8",
4992+
"num::verify::checked_unchecked_sub_usize",
4993+
"num::verify::checked_wrapping_shl_i128",
4994+
"num::verify::checked_wrapping_shl_i16",
4995+
"num::verify::checked_wrapping_shl_i32",
4996+
"num::verify::checked_wrapping_shl_i64",
4997+
"num::verify::checked_wrapping_shl_i8",
4998+
"num::verify::checked_wrapping_shl_isize",
4999+
"num::verify::checked_wrapping_shl_u128",
5000+
"num::verify::checked_wrapping_shl_u16",
5001+
"num::verify::checked_wrapping_shl_u32",
5002+
"num::verify::checked_wrapping_shl_u64",
5003+
"num::verify::checked_wrapping_shl_u8",
5004+
"num::verify::checked_wrapping_shl_usize",
5005+
"num::verify::checked_wrapping_shr_i128",
5006+
"num::verify::checked_wrapping_shr_i16",
5007+
"num::verify::checked_wrapping_shr_i32",
5008+
"num::verify::checked_wrapping_shr_i64",
5009+
"num::verify::checked_wrapping_shr_i8",
5010+
"num::verify::checked_wrapping_shr_isize",
5011+
"num::verify::checked_wrapping_shr_u128",
5012+
"num::verify::checked_wrapping_shr_u16",
5013+
"num::verify::checked_wrapping_shr_u32",
5014+
"num::verify::checked_wrapping_shr_u64",
5015+
"num::verify::checked_wrapping_shr_u8",
5016+
"num::verify::checked_wrapping_shr_usize",
49045017
"num::verify::unchecked_mul_i128_edge_neg",
49055018
"num::verify::unchecked_mul_i128_edge_pos",
49065019
"num::verify::unchecked_mul_i128_large_neg",

‎tests/verify-rust-std.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -65,8 +65,8 @@ fn read() {
6565
let kani_list = read_kani_list_json();
6666
expect![[r#"
6767
Totals {
68-
standard_harnesses: 8350,
69-
contract_harnesses: 1154,
68+
standard_harnesses: 8385,
69+
contract_harnesses: 1232,
7070
functions_under_contract: 356,
7171
}
7272
"#]]

0 commit comments

Comments
 (0)