File tree Expand file tree Collapse file tree 1 file changed +2
-6
lines changed
library/core/src/slice/sort/shared Expand file tree Collapse file tree 1 file changed +2
-6
lines changed Original file line number Diff line number Diff line change @@ -962,19 +962,15 @@ mod verify {
962962 #[ kani:: unwind( 6 ) ]
963963 fn verify_unstable_small_sort ( ) {
964964 let mut arr: [ i32 ; 4 ] = kani:: any ( ) ;
965- <i32 as UnstableSmallSortTypeImpl >:: small_sort (
966- & mut arr, & mut |a, b| * a < * b,
967- ) ;
965+ <i32 as UnstableSmallSortTypeImpl >:: small_sort ( & mut arr, & mut |a, b| * a < * b) ;
968966 assert ! ( is_sorted( & arr) ) ;
969967 }
970968
971969 #[ kani:: proof]
972970 #[ kani:: unwind( 6 ) ]
973971 fn verify_unstable_freeze_small_sort ( ) {
974972 let mut arr: [ i32 ; 4 ] = kani:: any ( ) ;
975- <i32 as UnstableSmallSortFreezeTypeImpl >:: small_sort (
976- & mut arr, & mut |a, b| * a < * b,
977- ) ;
973+ <i32 as UnstableSmallSortFreezeTypeImpl >:: small_sort ( & mut arr, & mut |a, b| * a < * b) ;
978974 assert ! ( is_sorted( & arr) ) ;
979975 }
980976}
You can’t perform that action at this time.
0 commit comments