@@ -160,7 +160,7 @@ impl Property for ExtData {
160160 timelock_info : TimelockInfo :: default ( ) ,
161161 exec_stack_elem_count_sat : Some ( 1 ) ,
162162 exec_stack_elem_count_dissat : None ,
163- tree_height : 0 ,
163+ tree_height : 0 ,
164164 }
165165 }
166166
@@ -176,7 +176,7 @@ impl Property for ExtData {
176176 timelock_info : TimelockInfo :: default ( ) ,
177177 exec_stack_elem_count_sat : None ,
178178 exec_stack_elem_count_dissat : Some ( 1 ) ,
179- tree_height : 0 ,
179+ tree_height : 0 ,
180180 }
181181 }
182182
@@ -398,7 +398,7 @@ impl Property for ExtData {
398398 timelock_info : self . timelock_info ,
399399 exec_stack_elem_count_sat : self . exec_stack_elem_count_sat ,
400400 exec_stack_elem_count_dissat : self . exec_stack_elem_count_dissat ,
401- tree_height : self . tree_height + 1 ,
401+ tree_height : self . tree_height + 1 ,
402402 } )
403403 }
404404
@@ -414,7 +414,7 @@ impl Property for ExtData {
414414 timelock_info : self . timelock_info ,
415415 exec_stack_elem_count_sat : self . exec_stack_elem_count_sat ,
416416 exec_stack_elem_count_dissat : self . exec_stack_elem_count_dissat ,
417- tree_height : self . tree_height + 1 ,
417+ tree_height : self . tree_height + 1 ,
418418 } )
419419 }
420420
@@ -430,7 +430,7 @@ impl Property for ExtData {
430430 timelock_info : self . timelock_info ,
431431 exec_stack_elem_count_sat : self . exec_stack_elem_count_sat ,
432432 exec_stack_elem_count_dissat : self . exec_stack_elem_count_dissat ,
433- tree_height : self . tree_height + 1 ,
433+ tree_height : self . tree_height + 1 ,
434434 } )
435435 }
436436
@@ -449,7 +449,7 @@ impl Property for ExtData {
449449 // Even all V types push something onto the stack and then remove them
450450 exec_stack_elem_count_sat : self . exec_stack_elem_count_sat ,
451451 exec_stack_elem_count_dissat : Some ( 1 ) ,
452- tree_height : self . tree_height + 1 ,
452+ tree_height : self . tree_height + 1 ,
453453 } )
454454 }
455455
@@ -466,7 +466,7 @@ impl Property for ExtData {
466466 timelock_info : self . timelock_info ,
467467 exec_stack_elem_count_sat : self . exec_stack_elem_count_sat ,
468468 exec_stack_elem_count_dissat : None ,
469- tree_height : self . tree_height + 1 ,
469+ tree_height : self . tree_height + 1 ,
470470 } )
471471 }
472472
@@ -482,7 +482,7 @@ impl Property for ExtData {
482482 timelock_info : self . timelock_info ,
483483 exec_stack_elem_count_sat : self . exec_stack_elem_count_sat ,
484484 exec_stack_elem_count_dissat : Some ( 1 ) ,
485- tree_height : self . tree_height + 1 ,
485+ tree_height : self . tree_height + 1 ,
486486 } )
487487 }
488488
@@ -499,7 +499,7 @@ impl Property for ExtData {
499499 // Technically max(1, self.exec_stack_elem_count_sat), same rationale as cast_dupif
500500 exec_stack_elem_count_sat : self . exec_stack_elem_count_sat ,
501501 exec_stack_elem_count_dissat : self . exec_stack_elem_count_dissat ,
502- tree_height : self . tree_height + 1 ,
502+ tree_height : self . tree_height + 1 ,
503503 } )
504504 }
505505
@@ -540,7 +540,7 @@ impl Property for ExtData {
540540 l. exec_stack_elem_count_dissat ,
541541 r. exec_stack_elem_count_dissat . map ( |x| x + 1 ) ,
542542 ) ,
543- tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
543+ tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
544544 } )
545545 }
546546
@@ -564,7 +564,7 @@ impl Property for ExtData {
564564 r. exec_stack_elem_count_sat ,
565565 ) ,
566566 exec_stack_elem_count_dissat : None ,
567- tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
567+ tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
568568 } )
569569 }
570570
@@ -604,7 +604,7 @@ impl Property for ExtData {
604604 l. exec_stack_elem_count_dissat ,
605605 r. exec_stack_elem_count_dissat . map ( |x| x + 1 ) ,
606606 ) ,
607- tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
607+ tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
608608 } )
609609 }
610610
@@ -642,7 +642,7 @@ impl Property for ExtData {
642642 l. exec_stack_elem_count_dissat ,
643643 r. exec_stack_elem_count_dissat . map ( |x| x + 1 ) ,
644644 ) ,
645- tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
645+ tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
646646 } ;
647647 Ok ( res)
648648 }
@@ -674,7 +674,7 @@ impl Property for ExtData {
674674 opt_max ( r. exec_stack_elem_count_sat , l. exec_stack_elem_count_dissat ) ,
675675 ) ,
676676 exec_stack_elem_count_dissat : None ,
677- tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
677+ tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
678678 } )
679679 }
680680
@@ -721,7 +721,7 @@ impl Property for ExtData {
721721 l. exec_stack_elem_count_dissat ,
722722 r. exec_stack_elem_count_dissat ,
723723 ) ,
724- tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
724+ tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
725725 } )
726726 }
727727
@@ -764,7 +764,7 @@ impl Property for ExtData {
764764 a. exec_stack_elem_count_dissat ,
765765 c. exec_stack_elem_count_dissat ,
766766 ) ,
767- tree_height : cmp:: max ( a. tree_height , cmp:: max ( b. tree_height , c. tree_height ) ) + 1 ,
767+ tree_height : cmp:: max ( a. tree_height , cmp:: max ( b. tree_height , c. tree_height ) ) + 1 ,
768768 } )
769769 }
770770
@@ -885,7 +885,7 @@ impl Property for ExtData {
885885 timelock_info : TimelockInfo :: combine_threshold ( k, timelocks) ,
886886 exec_stack_elem_count_sat,
887887 exec_stack_elem_count_dissat,
888- tree_height : max_child_height + 1 ,
888+ tree_height : max_child_height + 1 ,
889889 } )
890890 }
891891
0 commit comments