@@ -484,10 +484,10 @@ bool rustsimplicity_0_7_output_null_datum(frameItem* dst, frameItem src, const t
484484}
485485
486486/* output_null_get_8 : TWO^32 * TWO^32 |- S (S TWO^64) */
487- bool rustsimplicity_0_6_output_null_get_bytes_8 (frameItem * dst , frameItem src , const txEnv * env ) {
488- uint_fast32_t i = rustsimplicity_0_6_read32 (& src );
487+ bool rustsimplicity_0_7_output_null_get_bytes_8 (frameItem * dst , frameItem src , const txEnv * env ) {
488+ uint_fast32_t i = rustsimplicity_0_7_read32 (& src );
489489 if (writeBit (dst , i < env -> tx -> numOutputs && env -> tx -> output [i ].isNullData )) {
490- uint_fast32_t j = rustsimplicity_0_6_read32 (& src );
490+ uint_fast32_t j = rustsimplicity_0_7_read32 (& src );
491491 if (writeBit (dst , j < env -> tx -> output [i ].pnd .len &&
492492 OP_PUSHBYTES_8 == env -> tx -> output [i ].pnd .op [j ].code )) {
493493 write8s (dst , env -> tx -> output [i ].pnd .op [j ].data , 8 );
@@ -501,10 +501,10 @@ bool rustsimplicity_0_6_output_null_get_bytes_8(frameItem* dst, frameItem src, c
501501}
502502
503503/* output_null_get_1 : TWO^32 * TWO^32 |- S (S TWO^8) */
504- bool rustsimplicity_0_6_output_null_get_bytes_1 (frameItem * dst , frameItem src , const txEnv * env ) {
505- uint_fast32_t i = rustsimplicity_0_6_read32 (& src );
504+ bool rustsimplicity_0_7_output_null_get_bytes_1 (frameItem * dst , frameItem src , const txEnv * env ) {
505+ uint_fast32_t i = rustsimplicity_0_7_read32 (& src );
506506 if (writeBit (dst , i < env -> tx -> numOutputs && env -> tx -> output [i ].isNullData )) {
507- uint_fast32_t j = rustsimplicity_0_6_read32 (& src );
507+ uint_fast32_t j = rustsimplicity_0_7_read32 (& src );
508508 if (writeBit (dst , j < env -> tx -> output [i ].pnd .len &&
509509 OP_PUSHBYTES_1 == env -> tx -> output [i ].pnd .op [j ].code )) {
510510 write8s (dst , env -> tx -> output [i ].pnd .op [j ].data , 1 );
@@ -518,10 +518,10 @@ bool rustsimplicity_0_6_output_null_get_bytes_1(frameItem* dst, frameItem src, c
518518}
519519
520520/* output_null_get_2 : TWO^32 * TWO^32 |- S (S TWO^16) */
521- bool rustsimplicity_0_6_output_null_get_bytes_2 (frameItem * dst , frameItem src , const txEnv * env ) {
522- uint_fast32_t i = rustsimplicity_0_6_read32 (& src );
521+ bool rustsimplicity_0_7_output_null_get_bytes_2 (frameItem * dst , frameItem src , const txEnv * env ) {
522+ uint_fast32_t i = rustsimplicity_0_7_read32 (& src );
523523 if (writeBit (dst , i < env -> tx -> numOutputs && env -> tx -> output [i ].isNullData )) {
524- uint_fast32_t j = rustsimplicity_0_6_read32 (& src );
524+ uint_fast32_t j = rustsimplicity_0_7_read32 (& src );
525525 if (writeBit (dst , j < env -> tx -> output [i ].pnd .len &&
526526 OP_PUSHBYTES_2 == env -> tx -> output [i ].pnd .op [j ].code )) {
527527 write8s (dst , env -> tx -> output [i ].pnd .op [j ].data , 2 );
@@ -535,10 +535,10 @@ bool rustsimplicity_0_6_output_null_get_bytes_2(frameItem* dst, frameItem src, c
535535}
536536
537537/* output_null_get_4 : TWO^32 * TWO^32 |- S (S TWO^32) */
538- bool rustsimplicity_0_6_output_null_get_bytes_4 (frameItem * dst , frameItem src , const txEnv * env ) {
539- uint_fast32_t i = rustsimplicity_0_6_read32 (& src );
538+ bool rustsimplicity_0_7_output_null_get_bytes_4 (frameItem * dst , frameItem src , const txEnv * env ) {
539+ uint_fast32_t i = rustsimplicity_0_7_read32 (& src );
540540 if (writeBit (dst , i < env -> tx -> numOutputs && env -> tx -> output [i ].isNullData )) {
541- uint_fast32_t j = rustsimplicity_0_6_read32 (& src );
541+ uint_fast32_t j = rustsimplicity_0_7_read32 (& src );
542542 if (writeBit (dst , j < env -> tx -> output [i ].pnd .len &&
543543 OP_PUSHBYTES_4 == env -> tx -> output [i ].pnd .op [j ].code )) {
544544 write8s (dst , env -> tx -> output [i ].pnd .op [j ].data , 4 );
@@ -552,10 +552,10 @@ bool rustsimplicity_0_6_output_null_get_bytes_4(frameItem* dst, frameItem src, c
552552}
553553
554554/* output_null_get_16 : TWO^32 * TWO^32 |- S (S TWO^128) */
555- bool rustsimplicity_0_6_output_null_get_bytes_16 (frameItem * dst , frameItem src , const txEnv * env ) {
556- uint_fast32_t i = rustsimplicity_0_6_read32 (& src );
555+ bool rustsimplicity_0_7_output_null_get_bytes_16 (frameItem * dst , frameItem src , const txEnv * env ) {
556+ uint_fast32_t i = rustsimplicity_0_7_read32 (& src );
557557 if (writeBit (dst , i < env -> tx -> numOutputs && env -> tx -> output [i ].isNullData )) {
558- uint_fast32_t j = rustsimplicity_0_6_read32 (& src );
558+ uint_fast32_t j = rustsimplicity_0_7_read32 (& src );
559559 if (writeBit (dst , j < env -> tx -> output [i ].pnd .len &&
560560 OP_PUSHBYTES_16 == env -> tx -> output [i ].pnd .op [j ].code )) {
561561 write8s (dst , env -> tx -> output [i ].pnd .op [j ].data , 16 );
@@ -569,10 +569,10 @@ bool rustsimplicity_0_6_output_null_get_bytes_16(frameItem* dst, frameItem src,
569569}
570570
571571/* output_null_get_32 : TWO^32 * TWO^32 |- S (S TWO^256) */
572- bool rustsimplicity_0_6_output_null_get_bytes_32 (frameItem * dst , frameItem src , const txEnv * env ) {
573- uint_fast32_t i = rustsimplicity_0_6_read32 (& src );
572+ bool rustsimplicity_0_7_output_null_get_bytes_32 (frameItem * dst , frameItem src , const txEnv * env ) {
573+ uint_fast32_t i = rustsimplicity_0_7_read32 (& src );
574574 if (writeBit (dst , i < env -> tx -> numOutputs && env -> tx -> output [i ].isNullData )) {
575- uint_fast32_t j = rustsimplicity_0_6_read32 (& src );
575+ uint_fast32_t j = rustsimplicity_0_7_read32 (& src );
576576 if (writeBit (dst , j < env -> tx -> output [i ].pnd .len &&
577577 OP_PUSHBYTES_32 == env -> tx -> output [i ].pnd .op [j ].code )) {
578578 write8s (dst , env -> tx -> output [i ].pnd .op [j ].data , 32 );
@@ -586,10 +586,10 @@ bool rustsimplicity_0_6_output_null_get_bytes_32(frameItem* dst, frameItem src,
586586}
587587
588588/* output_null_get_64 : TWO^32 * TWO^32 |- S (S TWO^512) */
589- bool rustsimplicity_0_6_output_null_get_bytes_64 (frameItem * dst , frameItem src , const txEnv * env ) {
590- uint_fast32_t i = rustsimplicity_0_6_read32 (& src );
589+ bool rustsimplicity_0_7_output_null_get_bytes_64 (frameItem * dst , frameItem src , const txEnv * env ) {
590+ uint_fast32_t i = rustsimplicity_0_7_read32 (& src );
591591 if (writeBit (dst , i < env -> tx -> numOutputs && env -> tx -> output [i ].isNullData )) {
592- uint_fast32_t j = rustsimplicity_0_6_read32 (& src );
592+ uint_fast32_t j = rustsimplicity_0_7_read32 (& src );
593593 if (writeBit (dst , j < env -> tx -> output [i ].pnd .len &&
594594 OP_PUSHBYTES_64 == env -> tx -> output [i ].pnd .op [j ].code )) {
595595 write8s (dst , env -> tx -> output [i ].pnd .op [j ].data , 64 );
0 commit comments