@@ -168,7 +168,7 @@ impl Property for ExtData {
168168 timelock_info : TimelockInfo :: default ( ) ,
169169 exec_stack_elem_count_sat : Some ( 1 ) ,
170170 exec_stack_elem_count_dissat : None ,
171- tree_height : 0 ,
171+ tree_height : 0 ,
172172 }
173173 }
174174
@@ -184,7 +184,7 @@ impl Property for ExtData {
184184 timelock_info : TimelockInfo :: default ( ) ,
185185 exec_stack_elem_count_sat : None ,
186186 exec_stack_elem_count_dissat : Some ( 1 ) ,
187- tree_height : 0 ,
187+ tree_height : 0 ,
188188 }
189189 }
190190
@@ -408,7 +408,7 @@ impl Property for ExtData {
408408 timelock_info : self . timelock_info ,
409409 exec_stack_elem_count_sat : self . exec_stack_elem_count_sat ,
410410 exec_stack_elem_count_dissat : self . exec_stack_elem_count_dissat ,
411- tree_height : self . tree_height + 1 ,
411+ tree_height : self . tree_height + 1 ,
412412 } )
413413 }
414414
@@ -424,7 +424,7 @@ impl Property for ExtData {
424424 timelock_info : self . timelock_info ,
425425 exec_stack_elem_count_sat : self . exec_stack_elem_count_sat ,
426426 exec_stack_elem_count_dissat : self . exec_stack_elem_count_dissat ,
427- tree_height : self . tree_height + 1 ,
427+ tree_height : self . tree_height + 1 ,
428428 } )
429429 }
430430
@@ -440,7 +440,7 @@ impl Property for ExtData {
440440 timelock_info : self . timelock_info ,
441441 exec_stack_elem_count_sat : self . exec_stack_elem_count_sat ,
442442 exec_stack_elem_count_dissat : self . exec_stack_elem_count_dissat ,
443- tree_height : self . tree_height + 1 ,
443+ tree_height : self . tree_height + 1 ,
444444 } )
445445 }
446446
@@ -459,7 +459,7 @@ impl Property for ExtData {
459459 // Even all V types push something onto the stack and then remove them
460460 exec_stack_elem_count_sat : self . exec_stack_elem_count_sat ,
461461 exec_stack_elem_count_dissat : Some ( 1 ) ,
462- tree_height : self . tree_height + 1 ,
462+ tree_height : self . tree_height + 1 ,
463463 } )
464464 }
465465
@@ -476,7 +476,7 @@ impl Property for ExtData {
476476 timelock_info : self . timelock_info ,
477477 exec_stack_elem_count_sat : self . exec_stack_elem_count_sat ,
478478 exec_stack_elem_count_dissat : None ,
479- tree_height : self . tree_height + 1 ,
479+ tree_height : self . tree_height + 1 ,
480480 } )
481481 }
482482
@@ -492,7 +492,7 @@ impl Property for ExtData {
492492 timelock_info : self . timelock_info ,
493493 exec_stack_elem_count_sat : self . exec_stack_elem_count_sat ,
494494 exec_stack_elem_count_dissat : Some ( 1 ) ,
495- tree_height : self . tree_height + 1 ,
495+ tree_height : self . tree_height + 1 ,
496496 } )
497497 }
498498
@@ -509,7 +509,7 @@ impl Property for ExtData {
509509 // Technically max(1, self.exec_stack_elem_count_sat), same rationale as cast_dupif
510510 exec_stack_elem_count_sat : self . exec_stack_elem_count_sat ,
511511 exec_stack_elem_count_dissat : self . exec_stack_elem_count_dissat ,
512- tree_height : self . tree_height + 1 ,
512+ tree_height : self . tree_height + 1 ,
513513 } )
514514 }
515515
@@ -550,7 +550,7 @@ impl Property for ExtData {
550550 l. exec_stack_elem_count_dissat ,
551551 r. exec_stack_elem_count_dissat . map ( |x| x + 1 ) ,
552552 ) ,
553- tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
553+ tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
554554 } )
555555 }
556556
@@ -578,7 +578,7 @@ impl Property for ExtData {
578578 r. exec_stack_elem_count_sat ,
579579 ) ,
580580 exec_stack_elem_count_dissat : None ,
581- tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
581+ tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
582582 } )
583583 }
584584
@@ -627,7 +627,7 @@ impl Property for ExtData {
627627 l. exec_stack_elem_count_dissat ,
628628 r. exec_stack_elem_count_dissat . map ( |x| x + 1 ) ,
629629 ) ,
630- tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
630+ tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
631631 } )
632632 }
633633
@@ -665,7 +665,7 @@ impl Property for ExtData {
665665 l. exec_stack_elem_count_dissat ,
666666 r. exec_stack_elem_count_dissat . map ( |x| x + 1 ) ,
667667 ) ,
668- tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
668+ tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
669669 } ;
670670 Ok ( res)
671671 }
@@ -697,7 +697,7 @@ impl Property for ExtData {
697697 opt_max ( r. exec_stack_elem_count_sat , l. exec_stack_elem_count_dissat ) ,
698698 ) ,
699699 exec_stack_elem_count_dissat : None ,
700- tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
700+ tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
701701 } )
702702 }
703703
@@ -744,7 +744,7 @@ impl Property for ExtData {
744744 l. exec_stack_elem_count_dissat ,
745745 r. exec_stack_elem_count_dissat ,
746746 ) ,
747- tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
747+ tree_height : cmp:: max ( l. tree_height , r. tree_height ) + 1 ,
748748 } )
749749 }
750750
@@ -790,7 +790,7 @@ impl Property for ExtData {
790790 a. exec_stack_elem_count_dissat ,
791791 c. exec_stack_elem_count_dissat ,
792792 ) ,
793- tree_height : cmp:: max ( a. tree_height , cmp:: max ( b. tree_height , c. tree_height ) ) + 1 ,
793+ tree_height : cmp:: max ( a. tree_height , cmp:: max ( b. tree_height , c. tree_height ) ) + 1 ,
794794 } )
795795 }
796796
@@ -916,7 +916,7 @@ impl Property for ExtData {
916916 timelock_info : TimelockInfo :: combine_threshold ( k, timelocks) ,
917917 exec_stack_elem_count_sat,
918918 exec_stack_elem_count_dissat,
919- tree_height : max_child_height + 1 ,
919+ tree_height : max_child_height + 1 ,
920920 } )
921921 }
922922
0 commit comments