feat: spike out what unit testing puyapy contracts could look like

[neilcampbell]

No description provided.

[github-actions]

Coverage Report

File	Stmts	Miss	Cover	Missing
src/puya
__main__.py	30	1	97%	110
arc4_util.py	63	4	94%	28, 64, 78, 97
arc32.py	66	2	97%	87, 98
compile.py	155	3	98%	141, 155–158
errors.py	122	29	76%	47–48, 52, 54–57, 82, 124, 144–145, 150–164, 175–178
logging_config.py	129	28	78%	15, 36–39, 45, 47, 50–54, 69, 88, 141–143, 146–148, 150, 163–172, 194
models.py	80	2	98%	11–12
options.py	29	2	93%	12–13
parse.py	204	18	91%	86, 98, 127, 166, 169, 223, 266, 276, 278, 282, 310–315, 319, 349, 363, 376–377
utils.py	150	19	87%	49, 53, 87, 93, 108, 111–113, 120, 142, 155–156, 160, 164–167, 196, 198, 221
src/puya/awst
function_traverser.py	188	3	98%	113, 143–144
nodes.py	969	68	93%	19–28, 44, 53, 87, 93, 97–100, 134, 140, 144–147, 275, 281, 495, 533, 738–739, 759, 771, 809, 815–816, 846, 872, 876–880, 892, 948, 990–991, 996, 1011, 1062, 1067, 1125, 1148, 1165, 1344, 1349–1350, 1357–1362, 1474, 1522, 1531, 1559, 1566, 1579, 1628, 1639, 1641, 1646, 1654, 1659, 1664, 1673, 1678, 1683, 1690
to_code_visitor.py	320	14	96%	83–84, 87–90, 114–115, 196, 321–322, 332, 413–414, 485, 513
visitors.py	217	71	67%	7, 15, 19, 23, 27, 31, 35, 39, 43, 47, 53, 59, 65, 69, 73, 77, 83, 87, 91, 95, 99, 105, 109, 113, 117, 121, 125, 129, 133, 139, 143, 147, 153, 159, 163, 169, 173, 177, 181, 185, 189, 193, 197, 201, 205, 209, 213, 217, 221, 225, 231, 234, 237, 243, 249, 253, 257, 261, 265, 269, 273, 277, 281, 285, 289, 293, 297, 301, 305, 309, 313
wtypes.py	287	36	87%	21, 64, 176–187, 202–205, 222, 224, 268, 271, 296, 298, 302–303, 306, 331, 350, 386, 389, 416–417, 426–427, 435–436, 447, 450, 509, 516, 532
src/puya/awst_build
base_mypy_visitor.py	133	44	67%	39, 59, 71–77, 95, 106–121, 135, 139, 143, 154, 158, 166, 172, 178, 196, 202, 207, 210, 213, 222, 226, 231, 236, 242, 247, 253, 260, 264, 268, 272, 276, 280, 284, 288, 292, 296, 300, 304, 308
context.py	140	20	86%	124–129, 137, 139–144, 147–148, 168, 173, 177, 190, 202–203
contract.py	334	93	72%	133–134, 136–139, 147–148, 151, 163, 174, 196, 214, 220, 222, 233, 243, 252, 280, 284, 300–304, 312–313, 318, 321, 324, 327, 332–333, 336, 339, 342, 345, 348, 351, 354, 357, 360, 363, 366, 380, 394–401, 410–417, 424–425, 451, 461, 490, 492, 495, 507, 536–537, 552, 556, 559, 565, 568, 571, 574, 582, 590, 593, 596–608, 611, 620, 623, 640, 650–651, 658, 664, 686–692
intrinsic_models.py	32	5	84%	21, 26–29
main.py	47	3	94%	32, 44, 54
module.py	370	80	78%	67, 115, 133–134, 141, 149, 155, 161–165, 174, 198–199, 210, 240, 266–267, 290, 297, 305–318, 331–332, 355–360, 414–415, 426, 450, 453, 459, 467, 470, 477, 483, 495, 498, 519, 538–539, 556–587, 615–616, 630–632, 634, 636–637, 669–676, 688, 690
subroutine.py	611	73	88%	214, 225, 280, 348, 352, 366, 374, 407–408, 545–559, 567, 575, 578, 590, 619–620, 625, 630, 666, 686–687, 717–723, 776–777, 782, 798, 801, 804, 812–818, 873, 877–878, 882–883, 899, 901, 904–906, 933–934, 942, 977–985, 1020, 1048, 1052, 1083, 1180, 1187, 1197, 1208–1212, 1221, 1224, 1227, 1230, 1233, 1238, 1243, 1250, 1257
utils.py	174	22	87%	47–48, 63, 100, 115–116, 118, 138–139, 159, 173, 184, 189, 196, 208, 234–241, 262, 315–316
src/puya/awst_build/eb
utils.py	21	2	90%	13–14
app_account_state.py	128	28	78%	51–54, 62, 79, 81, 114–115, 136–143, 165–166, 171, 178–179, 181, 198–199, 206–207, 236, 241–242
app_state.py	120	22	82%	47–54, 76–77, 82, 92–93, 98, 115–116, 123–124, 165–166, 190, 209
array.py	68	45	34%	26–27, 30–32, 37–44, 57–73, 78–80, 83, 86–89, 94–96, 101–103, 113–125
base.py	207	61	71%	24–31, 103, 107, 111, 117, 121, 127–132, 143–149, 154–160, 166, 172, 182, 193, 197, 201, 211, 214, 217, 220, 223, 226, 231, 234, 256, 277, 280, 285, 288, 291, 294, 297, 302, 305, 316, 329, 340, 343, 356, 377, 382, 392, 395, 399, 406, 409, 412, 417, 422, 427, 433
biguint.py	90	22	76%	34–38, 63–64, 78, 93, 103–106, 128–131, 148–153, 170–178, 181–182
bool.py	40	8	80%	27–31, 50–51, 54–55, 73
bytes.py	140	19	86%	55–59, 82–83, 94–95, 116–117, 121, 125, 130, 132–133, 153, 175, 296–297, 330
bytes_backed.py	29	4	86%	38–39, 48–49
ensure_budget.py	48	15	69%	25–29, 50–51, 71–72, 80, 92, 98–103
intrinsics.py	156	43	72%	32–34, 56–57, 65–66, 72–73, 90–91, 98, 128, 137, 139–163, 170–171, 215, 223, 235–236, 238, 255–256, 268, 273, 280, 283
log.py	59	11	81%	26–30, 85–95, 105, 107
named_int_constants.py	20	2	90%	23–24
struct.py	32	15	53%	21–22, 25, 36–42, 47–49, 52–57
subroutine.py	35	2	94%	52, 72
template_variables.py	47	10	79%	25–26, 60–61, 65, 70, 73–74, 83–84
tuple.py	98	20	80%	39–40, 47, 58, 60–61, 83–84, 93–94, 107, 113, 131–132, 137–138, 150, 158, 166, 198
type_registry.py	27	2	93%	142–143
uint64.py	79	15	81%	37–41, 63–64, 85, 103, 126, 145–148, 162–170, 173–174
unsigned_builtins.py	70	11	84%	30–34, 52, 59, 94, 97–98, 129, 132–133
value_proxy.py	39	12	69%	24, 27, 30, 33, 36, 41, 56, 66, 75, 85, 88, 91
src/puya/awst_build/eb/arc4
arrays.py	225	29	87%	61–65, 78–79, 107, 138, 158–159, 195, 197, 231, 263, 279–280, 293, 336–337, 390–391, 413, 423–424, 440, 470, 490–491, 499, 546
base.py	119	18	85%	34–38, 68–69, 90–91, 159, 180, 197–198, 212–213, 230–231, 241, 251, 256
bool.py	28	6	79%	22–29, 55–56
numeric.py	105	23	78%	32–36, 48, 63, 94–95, 97, 100–101, 118, 125–126, 144, 158–159, 164, 169, 203–206, 227
string.py	67	12	82%	32–36, 66–67, 102, 121–122, 147–148, 166–167
struct.py	57	8	86%	25–32, 68, 71, 106–107
tuple.py	86	21	76%	31–35, 50, 54–55, 80, 85–87, 96, 107, 116, 129, 133–134, 146, 162–163, 172–173
src/puya/awst_build/eb/reference_types
account.py	46	8	83%	24–26, 44, 53–57
application.py	31	6	81%	17–19, 36–37, 41–42
asset.py	52	8	85%	27–29, 46–47, 51–52, 89–90
base.py	44	4	91%	25–27, 61, 87
src/puya/awst_build/eb/transaction
base.py	33	7	79%	16, 24, 28, 33–34, 41, 50
group.py	57	9	84%	33–37, 88–89, 98, 145, 148–149
inner.py	56	9	84%	28–31, 64–65, 101–102, 116, 144
inner_params.py	98	11	89%	29–33, 46–47, 69, 105, 141, 166, 183, 215
src/puya/awst_build/validation
arc4_copy.py	42	1	98%	37
inner_transactions.py	93	11	88%	92, 100, 111, 121, 125, 128, 133, 141, 151, 164, 169
scratch_slots.py	37	4	89%	17, 30, 46, 48
src/puya/ir
arc4_router.py	272	21	92%	180, 281, 299, 307, 463, 543, 589, 656–657, 671, 711–712, 724, 729, 734, 739, 744, 749, 769–774
avm_ops.py	316	2	99%	44–45
avm_ops_models.py	36	2	94%	20, 28
context.py	88	12	86%	18, 59–60, 62, 80–86, 91, 102, 109, 119
main.py	175	6	97%	113, 116, 245, 247, 303, 314
models.py	455	26	94%	29, 45, 63, 79, 186, 196, 200, 370, 444, 486, 566, 582, 623, 626, 633, 636, 692, 701, 709, 715, 726–728, 738, 750, 787
ssa.py	136	9	93%	43, 51–52, 99, 105, 141, 145, 166, 170
to_text_visitor.py	134	7	95%	85, 90, 172–177
types.py	50	7	86%	27–28, 52–56, 67
visitor.py	171	37	78%	10–12, 20, 24, 28, 32, 36, 40, 44, 48, 52, 56, 60, 64, 68, 72, 76, 80, 84, 88, 92, 96, 174, 186, 201, 204, 207, 213, 216, 222, 225, 228, 231, 234, 237, 240, 243
visitor_mutator.py	93	2	98%	138–139
vla.py	73	2	97%	50, 87
src/puya/ir/builder
_utils.py	71	8	89%	33, 44, 57, 79–80, 157, 203–204
arc4.py	418	48	89%	75–76, 125, 149–155, 219, 227, 450, 462, 465, 621–635, 964–978, 1004–1028, 1037–1053, 1076, 1177–1178, 1223–1240, 1279–1280, 1333, 1366–1367, 1517–1518, 1581
assignment.py	43	5	88%	59, 75, 102, 133–134
blocks.py	93	10	89%	62, 72, 76, 112, 120, 124, 157–159, 165–167
callsub.py	57	1	98%	93
flow_control.py	98	4	96%	63, 117, 141, 155
iteration.py	190	5	97%	46, 66, 95, 176–177
itxn.py	223	15	93%	109–110, 119–120, 130–131, 139, 164, 443–444, 449–450, 456, 472–473
main.py	474	52	89%	94, 119, 148, 152, 197–198, 213–214, 241, 249, 256–257, 328, 356–357, 372, 384, 401, 422, 429, 463, 476, 514, 527–528, 592–593, 615, 663, 691, 709, 744–745, 820, 823, 829, 836–837, 867–868, 883, 929–930, 946–947, 981, 996–998, 1007, 1010–1011
src/puya/ir/destructure
coalesce_locals.py	94	15	84%	33, 36, 118, 127–128, 131–134, 137–139, 153–156
parcopy.py	84	2	98%	47, 83
src/puya/ir/optimize
_utils.py	28	1	96%	21
collapse_blocks.py	92	5	95%	65–69
control_op_simplification.py	96	6	94%	156–162, 232
dead_code_elimination.py	119	2	98%	288, 324
intrinsic_simplification.py	370	41	89%	64, 128, 140, 202, 268, 326, 332, 383, 405, 426, 428, 434, 478, 480, 482, 489, 505, 519, 525, 527, 529, 534, 536, 538, 540, 542, 545–548, 553, 555, 557, 559, 561, 563, 565, 569, 592–593, 600
main.py	85	3	96%	106–107, 123
src/puya/mir
annotaters.py	173	7	96%	57, 63, 99, 103, 136, 140, 217
builder.py	122	6	95%	90, 138, 144, 151, 258–259
context.py	39	1	97%	35
models.py	335	24	93%	14–18, 30, 41, 53, 69–70, 78, 89, 100, 111, 141, 251, 282, 319, 331, 348, 356–362, 368
output.py	61	2	97%	29, 31
stack.py	253	22	91%	68, 72, 115, 119, 125, 135, 146, 157, 167, 182, 199, 209, 228, 246, 252, 254, 293, 304, 328, 360, 365, 403
visitor.py	76	24	68%	7, 15, 19, 23, 27, 31, 35, 39, 43, 47, 51, 55, 59, 63, 67, 71, 75, 79, 83, 87, 91, 95, 99, 103
src/puya/mir/stack_allocation
baileys.py	208	6	97%	31, 103, 123, 330–334, 359
frame_allocation.py	80	3	96%	21, 64–65
koopmans.py	61	1	98%	55
peephole.py	100	6	94%	75, 89, 99, 101, 103, 145
src/puya/teal
models.py	229	2	99%	292, 298
src/puya/teal/optimize
peephole.py	112	5	96%	64, 154–164, 172
repeated_rotations.py	30	1	97%	13
repeated_rotations_search.py	88	6	93%	34, 40–41, 57, 67–68
TOTAL	15213	1676	89%

Tests	Skipped	Failures	Errors	Time
249	2 💤	0 ❌	0 🔥	2m 29s ⏱️

[aorumbayev]

@neilcampbell what happens when a is of type UInt64? Wouldn't address be None in this case ?

[neilcampbell]

Yeah this code is very wrong, so we'll need to handle int/UInt64 address values properly.

[neilcampbell]

Closing this, as it has served it's purpose.