Test fixture generation
Source: docs/examples/03_fixtures.decl · part of the validation cases.
// Benchmark case 3 — test fixture generation (ROADMAP §0.5)// Exercises: comprehension-parameterized instance generation, range// iteration typing, literal-union element types, derived members,// uniqueness constraints.
export type PacketSize = 64 | 128 | 256 | 512
export type Packet = { id: int size_bytes: PacketSize priority: 0..7
label = `pkt-${id}-p${priority}`}
export type TestCase = { name: /[a-z][a-z0-9_]*/ packets: Packet[1..1024]
packet_count = std.array.count(packets) total_bytes = std.array.sum([p.size_bytes for p in packets])
assert ids_unique: std.array.all_distinct([p.id for p in packets])}
// The parameter grid. The annotation matters: without it the elements// would infer as plain int and fail `size_bytes: PacketSize`.const sizes: PacketSize[] = [64, 128, 256, 512]
// 4 sizes x 8 priorities = 32 cases, 16 packets each — deterministic.// `p` is typed 0..<8 by the range-iteration rule (spec 4.8), so it is// assignable to `priority: 0..7` directly.export output sweep: TestCase[] = [ { name: `case_s${s}_p${p}` packets: [ { id: i, size_bytes: s, priority: p } for i in 0..<16 ] } for s in sizes for p in 0..<8]
// A single fixture with an intentional shape: ascending ids, mixed sizes.export output smoke: TestCase = { name: "smoke_minimal" packets: [ { id: i, size_bytes: if i % 2 == 0 then 64 else 512, priority: 0 } for i in 0..<4 ]}Evaluated output
Section titled “Evaluated output”What decl evaluate 03_fixtures.decl prints, one section per output.
[ { "name": "case_s64_p0", "packets": [ { "id": 0, "size_bytes": 64, "priority": 0, "label": "pkt-0-p0" }, { "id": 1, "size_bytes": 64, "priority": 0, "label": "pkt-1-p0" }, { "id": 2, "size_bytes": 64, "priority": 0, "label": "pkt-2-p0" }, { "id": 3, "size_bytes": 64, "priority": 0, "label": "pkt-3-p0" }, { "id": 4, "size_bytes": 64, "priority": 0, "label": "pkt-4-p0" }, { "id": 5, "size_bytes": 64, "priority": 0, "label": "pkt-5-p0" }, { "id": 6, "size_bytes": 64, "priority": 0, "label": "pkt-6-p0" }, { "id": 7, "size_bytes": 64, "priority": 0, "label": "pkt-7-p0" }, { "id": 8, "size_bytes": 64, "priority": 0, "label": "pkt-8-p0" }, { "id": 9, "size_bytes": 64, "priority": 0, "label": "pkt-9-p0" }, { "id": 10, "size_bytes": 64, "priority": 0, "label": "pkt-10-p0" }, { "id": 11, "size_bytes": 64, "priority": 0, "label": "pkt-11-p0" }, { "id": 12, "size_bytes": 64, "priority": 0, "label": "pkt-12-p0" }, { "id": 13, "size_bytes": 64, "priority": 0, "label": "pkt-13-p0" }, { "id": 14, "size_bytes": 64, "priority": 0, "label": "pkt-14-p0" }, { "id": 15, "size_bytes": 64, "priority": 0, "label": "pkt-15-p0" } ], "packet_count": 16, "total_bytes": 1024 }, { "name": "case_s64_p1", "packets": [ { "id": 0, "size_bytes": 64, "priority": 1, "label": "pkt-0-p1" }, { "id": 1, "size_bytes": 64, "priority": 1, "label": "pkt-1-p1" }, { "id": 2, "size_bytes": 64, "priority": 1, "label": "pkt-2-p1" }, { "id": 3, "size_bytes": 64, "priority": 1, "label": "pkt-3-p1" }, { "id": 4, "size_bytes": 64, "priority": 1, "label": "pkt-4-p1" }, { "id": 5, "size_bytes": 64, "priority": 1, "label": "pkt-5-p1" }, { "id": 6, "size_bytes": 64, "priority": 1, "label": "pkt-6-p1" }, { "id": 7, "size_bytes": 64, "priority": 1, "label": "pkt-7-p1" }, { "id": 8, "size_bytes": 64, "priority": 1, "label": "pkt-8-p1" }, { "id": 9, "size_bytes": 64, "priority": 1, "label": "pkt-9-p1" }, { "id": 10, "size_bytes": 64, "priority": 1, "label": "pkt-10-p1" }, { "id": 11, "size_bytes": 64, "priority": 1, "label": "pkt-11-p1" }, { "id": 12, "size_bytes": 64, "priority": 1, "label": "pkt-12-p1" }, { "id": 13, "size_bytes": 64, "priority": 1, "label": "pkt-13-p1" }, { "id": 14, "size_bytes": 64, "priority": 1, "label": "pkt-14-p1" }, { "id": 15, "size_bytes": 64, "priority": 1, "label": "pkt-15-p1" } ], "packet_count": 16, "total_bytes": 1024 }, { "name": "case_s64_p2", "packets": [ { "id": 0, "size_bytes": 64, "priority": 2, "label": "pkt-0-p2" }, { "id": 1, "size_bytes": 64, "priority": 2, "label": "pkt-1-p2" }, { "id": 2, "size_bytes": 64, "priority": 2, "label": "pkt-2-p2" }, { "id": 3, "size_bytes": 64, "priority": 2, "label": "pkt-3-p2" }, { "id": 4, "size_bytes": 64, "priority": 2, "label": "pkt-4-p2" }, { "id": 5, "size_bytes": 64, "priority": 2, "label": "pkt-5-p2" }, { "id": 6, "size_bytes": 64, "priority": 2, "label": "pkt-6-p2" }, { "id": 7, "size_bytes": 64, "priority": 2, "label": "pkt-7-p2" }, { "id": 8, "size_bytes": 64, "priority": 2, "label": "pkt-8-p2" }, { "id": 9, "size_bytes": 64, "priority": 2, "label": "pkt-9-p2" }, { "id": 10, "size_bytes": 64, "priority": 2, "label": "pkt-10-p2" }, { "id": 11, "size_bytes": 64, "priority": 2, "label": "pkt-11-p2" }, { "id": 12, "size_bytes": 64, "priority": 2, "label": "pkt-12-p2" }, { "id": 13, "size_bytes": 64, "priority": 2, "label": "pkt-13-p2" }, { "id": 14, "size_bytes": 64, "priority": 2, "label": "pkt-14-p2" }, { "id": 15, "size_bytes": 64, "priority": 2, "label": "pkt-15-p2" } ], "packet_count": 16, "total_bytes": 1024 }, { "name": "case_s64_p3", "packets": [ { "id": 0, "size_bytes": 64, "priority": 3, "label": "pkt-0-p3" }, { "id": 1, "size_bytes": 64, "priority": 3, "label": "pkt-1-p3" }, { "id": 2, "size_bytes": 64, "priority": 3, "label": "pkt-2-p3" }, { "id": 3, "size_bytes": 64, "priority": 3, "label": "pkt-3-p3" }, { "id": 4, "size_bytes": 64, "priority": 3, "label": "pkt-4-p3" }, { "id": 5, "size_bytes": 64, "priority": 3, "label": "pkt-5-p3" }, { "id": 6, "size_bytes": 64, "priority": 3, "label": "pkt-6-p3" }, { "id": 7, "size_bytes": 64, "priority": 3, "label": "pkt-7-p3" }, { "id": 8, "size_bytes": 64, "priority": 3, "label": "pkt-8-p3" }, { "id": 9, "size_bytes": 64, "priority": 3, "label": "pkt-9-p3" }, { "id": 10, "size_bytes": 64, "priority": 3, "label": "pkt-10-p3" }, { "id": 11, "size_bytes": 64, "priority": 3, "label": "pkt-11-p3" }, { "id": 12, "size_bytes": 64, "priority": 3, "label": "pkt-12-p3" }, { "id": 13, "size_bytes": 64, "priority": 3, "label": "pkt-13-p3" }, { "id": 14, "size_bytes": 64, "priority": 3, "label": "pkt-14-p3" }, { "id": 15, "size_bytes": 64, "priority": 3, "label": "pkt-15-p3" } ], "packet_count": 16, "total_bytes": 1024 }, { "name": "case_s64_p4", "packets": [ { "id": 0, "size_bytes": 64, "priority": 4, "label": "pkt-0-p4" }, { "id": 1, "size_bytes": 64, "priority": 4, "label": "pkt-1-p4" }, { "id": 2, "size_bytes": 64, "priority": 4, "label": "pkt-2-p4" }, { "id": 3, "size_bytes": 64, "priority": 4, "label": "pkt-3-p4" }, { "id": 4, "size_bytes": 64, "priority": 4, "label": "pkt-4-p4" }, { "id": 5, "size_bytes": 64, "priority": 4, "label": "pkt-5-p4" }, { "id": 6, "size_bytes": 64, "priority": 4, "label": "pkt-6-p4" }, { "id": 7, "size_bytes": 64, "priority": 4, "label": "pkt-7-p4" }, { "id": 8, "size_bytes": 64, "priority": 4, "label": "pkt-8-p4" }, { "id": 9, "size_bytes": 64, "priority": 4, "label": "pkt-9-p4" }, { "id": 10, "size_bytes": 64, "priority": 4, "label": "pkt-10-p4" }, { "id": 11, "size_bytes": 64, "priority": 4, "label": "pkt-11-p4" }, { "id": 12, "size_bytes": 64, "priority": 4, "label": "pkt-12-p4" }, { "id": 13, "size_bytes": 64, "priority": 4, "label": "pkt-13-p4" }, { "id": 14, "size_bytes": 64, "priority": 4, "label": "pkt-14-p4" }, { "id": 15, "size_bytes": 64, "priority": 4, "label": "pkt-15-p4" } ], "packet_count": 16, "total_bytes": 1024 }, { "name": "case_s64_p5", "packets": [ { "id": 0, "size_bytes": 64, "priority": 5, "label": "pkt-0-p5" }, { "id": 1, "size_bytes": 64, "priority": 5, "label": "pkt-1-p5" }, { "id": 2, "size_bytes": 64, "priority": 5, "label": "pkt-2-p5" }, { "id": 3, "size_bytes": 64, "priority": 5, "label": "pkt-3-p5" }, { "id": 4, "size_bytes": 64, "priority": 5, "label": "pkt-4-p5" }, { "id": 5, "size_bytes": 64, "priority": 5, "label": "pkt-5-p5" }, { "id": 6, "size_bytes": 64, "priority": 5, "label": "pkt-6-p5" }, { "id": 7, "size_bytes": 64, "priority": 5, "label": "pkt-7-p5" }, { "id": 8, "size_bytes": 64, "priority": 5, "label": "pkt-8-p5" }, { "id": 9, "size_bytes": 64, "priority": 5, "label": "pkt-9-p5" }, { "id": 10, "size_bytes": 64, "priority": 5, "label": "pkt-10-p5" }, { "id": 11, "size_bytes": 64, "priority": 5, "label": "pkt-11-p5" }, { "id": 12, "size_bytes": 64, "priority": 5, "label": "pkt-12-p5" }, { "id": 13, "size_bytes": 64, "priority": 5, "label": "pkt-13-p5" }, { "id": 14, "size_bytes": 64, "priority": 5, "label": "pkt-14-p5" }, { "id": 15, "size_bytes": 64, "priority": 5, "label": "pkt-15-p5" } ], "packet_count": 16, "total_bytes": 1024 }, { "name": "case_s64_p6", "packets": [ { "id": 0, "size_bytes": 64, "priority": 6, "label": "pkt-0-p6" }, { "id": 1, "size_bytes": 64, "priority": 6, "label": "pkt-1-p6" }, { "id": 2, "size_bytes": 64, "priority": 6, "label": "pkt-2-p6" }, { "id": 3, "size_bytes": 64, "priority": 6, "label": "pkt-3-p6" }, { "id": 4, "size_bytes": 64, "priority": 6, "label": "pkt-4-p6" }, { "id": 5, "size_bytes": 64, "priority": 6, "label": "pkt-5-p6" }, { "id": 6, "size_bytes": 64, "priority": 6, "label": "pkt-6-p6" }, { "id": 7, "size_bytes": 64, "priority": 6, "label": "pkt-7-p6" }, { "id": 8, "size_bytes": 64, "priority": 6, "label": "pkt-8-p6" }, { "id": 9, "size_bytes": 64, "priority": 6, "label": "pkt-9-p6" }, { "id": 10, "size_bytes": 64, "priority": 6, "label": "pkt-10-p6" }, { "id": 11, "size_bytes": 64, "priority": 6, "label": "pkt-11-p6" }, { "id": 12, "size_bytes": 64, "priority": 6, "label": "pkt-12-p6" }, { "id": 13, "size_bytes": 64, "priority": 6, "label": "pkt-13-p6" }, { "id": 14, "size_bytes": 64, "priority": 6, "label": "pkt-14-p6" }, { "id": 15, "size_bytes": 64, "priority": 6, "label": "pkt-15-p6" } ], "packet_count": 16, "total_bytes": 1024 }, { "name": "case_s64_p7", "packets": [ { "id": 0, "size_bytes": 64, "priority": 7, "label": "pkt-0-p7" }, { "id": 1, "size_bytes": 64, "priority": 7, "label": "pkt-1-p7" }, { "id": 2, "size_bytes": 64, "priority": 7, "label": "pkt-2-p7" }, { "id": 3, "size_bytes": 64, "priority": 7, "label": "pkt-3-p7" }, { "id": 4, "size_bytes": 64, "priority": 7, "label": "pkt-4-p7" }, { "id": 5, "size_bytes": 64, "priority": 7, "label": "pkt-5-p7" }, { "id": 6, "size_bytes": 64, "priority": 7, "label": "pkt-6-p7" }, { "id": 7, "size_bytes": 64, "priority": 7, "label": "pkt-7-p7" }, { "id": 8, "size_bytes": 64, "priority": 7, "label": "pkt-8-p7" }, { "id": 9, "size_bytes": 64, "priority": 7, "label": "pkt-9-p7" }, { "id": 10, "size_bytes": 64, "priority": 7, "label": "pkt-10-p7" }, { "id": 11, "size_bytes": 64, "priority": 7, "label": "pkt-11-p7" }, { "id": 12, "size_bytes": 64, "priority": 7, "label": "pkt-12-p7" }, { "id": 13, "size_bytes": 64, "priority": 7, "label": "pkt-13-p7" }, { "id": 14, "size_bytes": 64, "priority": 7, "label": "pkt-14-p7" }, { "id": 15, "size_bytes": 64, "priority": 7, "label": "pkt-15-p7" } ], "packet_count": 16, "total_bytes": 1024 }, { "name": "case_s128_p0", "packets": [ { "id": 0, "size_bytes": 128, "priority": 0, "label": "pkt-0-p0" }, { "id": 1, "size_bytes": 128, "priority": 0, "label": "pkt-1-p0" }, { "id": 2, "size_bytes": 128, "priority": 0, "label": "pkt-2-p0" }, { "id": 3, "size_bytes": 128, "priority": 0, "label": "pkt-3-p0" }, { "id": 4, "size_bytes": 128, "priority": 0, "label": "pkt-4-p0" }, { "id": 5, "size_bytes": 128, "priority": 0, "label": "pkt-5-p0" }, { "id": 6, "size_bytes": 128, "priority": 0, "label": "pkt-6-p0" }, { "id": 7, "size_bytes": 128, "priority": 0, "label": "pkt-7-p0" }, { "id": 8, "size_bytes": 128, "priority": 0, "label": "pkt-8-p0" }, { "id": 9, "size_bytes": 128, "priority": 0, "label": "pkt-9-p0" }, { "id": 10, "size_bytes": 128, "priority": 0, "label": "pkt-10-p0" }, { "id": 11, "size_bytes": 128, "priority": 0, "label": "pkt-11-p0" }, { "id": 12, "size_bytes": 128, "priority": 0, "label": "pkt-12-p0" }, { "id": 13, "size_bytes": 128, "priority": 0, "label": "pkt-13-p0" }, { "id": 14, "size_bytes": 128, "priority": 0, "label": "pkt-14-p0" }, { "id": 15, "size_bytes": 128, "priority": 0, "label": "pkt-15-p0" } ], "packet_count": 16, "total_bytes": 2048 }, { "name": "case_s128_p1", "packets": [ { "id": 0, "size_bytes": 128, "priority": 1, "label": "pkt-0-p1" }, { "id": 1, "size_bytes": 128, "priority": 1, "label": "pkt-1-p1" }, { "id": 2, "size_bytes": 128, "priority": 1, "label": "pkt-2-p1" }, { "id": 3, "size_bytes": 128, "priority": 1, "label": "pkt-3-p1" }, { "id": 4, "size_bytes": 128, "priority": 1, "label": "pkt-4-p1" }, { "id": 5, "size_bytes": 128, "priority": 1, "label": "pkt-5-p1" }, { "id": 6, "size_bytes": 128, "priority": 1, "label": "pkt-6-p1" }, { "id": 7, "size_bytes": 128, "priority": 1, "label": "pkt-7-p1" }, { "id": 8, "size_bytes": 128, "priority": 1, "label": "pkt-8-p1" }, { "id": 9, "size_bytes": 128, "priority": 1, "label": "pkt-9-p1" }, { "id": 10, "size_bytes": 128, "priority": 1, "label": "pkt-10-p1" }, { "id": 11, "size_bytes": 128, "priority": 1, "label": "pkt-11-p1" }, { "id": 12, "size_bytes": 128, "priority": 1, "label": "pkt-12-p1" }, { "id": 13, "size_bytes": 128, "priority": 1, "label": "pkt-13-p1" }, { "id": 14, "size_bytes": 128, "priority": 1, "label": "pkt-14-p1" }, { "id": 15, "size_bytes": 128, "priority": 1, "label": "pkt-15-p1" } ], "packet_count": 16, "total_bytes": 2048 }, { "name": "case_s128_p2", "packets": [ { "id": 0, "size_bytes": 128, "priority": 2, "label": "pkt-0-p2" }, { "id": 1, "size_bytes": 128, "priority": 2, "label": "pkt-1-p2" }, { "id": 2, "size_bytes": 128, "priority": 2, "label": "pkt-2-p2" }, { "id": 3, "size_bytes": 128, "priority": 2, "label": "pkt-3-p2" }, { "id": 4, "size_bytes": 128, "priority": 2, "label": "pkt-4-p2" }, { "id": 5, "size_bytes": 128, "priority": 2, "label": "pkt-5-p2" }, { "id": 6, "size_bytes": 128, "priority": 2, "label": "pkt-6-p2" }, { "id": 7, "size_bytes": 128, "priority": 2, "label": "pkt-7-p2" }, { "id": 8, "size_bytes": 128, "priority": 2, "label": "pkt-8-p2" }, { "id": 9, "size_bytes": 128, "priority": 2, "label": "pkt-9-p2" }, { "id": 10, "size_bytes": 128, "priority": 2, "label": "pkt-10-p2" }, { "id": 11, "size_bytes": 128, "priority": 2, "label": "pkt-11-p2" }, { "id": 12, "size_bytes": 128, "priority": 2, "label": "pkt-12-p2" }, { "id": 13, "size_bytes": 128, "priority": 2, "label": "pkt-13-p2" }, { "id": 14, "size_bytes": 128, "priority": 2, "label": "pkt-14-p2" }, { "id": 15, "size_bytes": 128, "priority": 2, "label": "pkt-15-p2" } ], "packet_count": 16, "total_bytes": 2048 }, { "name": "case_s128_p3", "packets": [ { "id": 0, "size_bytes": 128, "priority": 3, "label": "pkt-0-p3" }, { "id": 1, "size_bytes": 128, "priority": 3, "label": "pkt-1-p3" }, { "id": 2, "size_bytes": 128, "priority": 3, "label": "pkt-2-p3" }, { "id": 3, "size_bytes": 128, "priority": 3, "label": "pkt-3-p3" }, { "id": 4, "size_bytes": 128, "priority": 3, "label": "pkt-4-p3" }, { "id": 5, "size_bytes": 128, "priority": 3, "label": "pkt-5-p3" }, { "id": 6, "size_bytes": 128, "priority": 3, "label": "pkt-6-p3" }, { "id": 7, "size_bytes": 128, "priority": 3, "label": "pkt-7-p3" }, { "id": 8, "size_bytes": 128, "priority": 3, "label": "pkt-8-p3" }, { "id": 9, "size_bytes": 128, "priority": 3, "label": "pkt-9-p3" }, { "id": 10, "size_bytes": 128, "priority": 3, "label": "pkt-10-p3" }, { "id": 11, "size_bytes": 128, "priority": 3, "label": "pkt-11-p3" }, { "id": 12, "size_bytes": 128, "priority": 3, "label": "pkt-12-p3" }, { "id": 13, "size_bytes": 128, "priority": 3, "label": "pkt-13-p3" }, { "id": 14, "size_bytes": 128, "priority": 3, "label": "pkt-14-p3" }, { "id": 15, "size_bytes": 128, "priority": 3, "label": "pkt-15-p3" } ], "packet_count": 16, "total_bytes": 2048 }, { "name": "case_s128_p4", "packets": [ { "id": 0, "size_bytes": 128, "priority": 4, "label": "pkt-0-p4" }, { "id": 1, "size_bytes": 128, "priority": 4, "label": "pkt-1-p4" }, { "id": 2, "size_bytes": 128, "priority": 4, "label": "pkt-2-p4" }, { "id": 3, "size_bytes": 128, "priority": 4, "label": "pkt-3-p4" }, { "id": 4, "size_bytes": 128, "priority": 4, "label": "pkt-4-p4" }, { "id": 5, "size_bytes": 128, "priority": 4, "label": "pkt-5-p4" }, { "id": 6, "size_bytes": 128, "priority": 4, "label": "pkt-6-p4" }, { "id": 7, "size_bytes": 128, "priority": 4, "label": "pkt-7-p4" }, { "id": 8, "size_bytes": 128, "priority": 4, "label": "pkt-8-p4" }, { "id": 9, "size_bytes": 128, "priority": 4, "label": "pkt-9-p4" }, { "id": 10, "size_bytes": 128, "priority": 4, "label": "pkt-10-p4" }, { "id": 11, "size_bytes": 128, "priority": 4, "label": "pkt-11-p4" }, { "id": 12, "size_bytes": 128, "priority": 4, "label": "pkt-12-p4" }, { "id": 13, "size_bytes": 128, "priority": 4, "label": "pkt-13-p4" }, { "id": 14, "size_bytes": 128, "priority": 4, "label": "pkt-14-p4" }, { "id": 15, "size_bytes": 128, "priority": 4, "label": "pkt-15-p4" } ], "packet_count": 16, "total_bytes": 2048 }, { "name": "case_s128_p5", "packets": [ { "id": 0, "size_bytes": 128, "priority": 5, "label": "pkt-0-p5" }, { "id": 1, "size_bytes": 128, "priority": 5, "label": "pkt-1-p5" }, { "id": 2, "size_bytes": 128, "priority": 5, "label": "pkt-2-p5" }, { "id": 3, "size_bytes": 128, "priority": 5, "label": "pkt-3-p5" }, { "id": 4, "size_bytes": 128, "priority": 5, "label": "pkt-4-p5" }, { "id": 5, "size_bytes": 128, "priority": 5, "label": "pkt-5-p5" }, { "id": 6, "size_bytes": 128, "priority": 5, "label": "pkt-6-p5" }, { "id": 7, "size_bytes": 128, "priority": 5, "label": "pkt-7-p5" }, { "id": 8, "size_bytes": 128, "priority": 5, "label": "pkt-8-p5" }, { "id": 9, "size_bytes": 128, "priority": 5, "label": "pkt-9-p5" }, { "id": 10, "size_bytes": 128, "priority": 5, "label": "pkt-10-p5" }, { "id": 11, "size_bytes": 128, "priority": 5, "label": "pkt-11-p5" }, { "id": 12, "size_bytes": 128, "priority": 5, "label": "pkt-12-p5" }, { "id": 13, "size_bytes": 128, "priority": 5, "label": "pkt-13-p5" }, { "id": 14, "size_bytes": 128, "priority": 5, "label": "pkt-14-p5" }, { "id": 15, "size_bytes": 128, "priority": 5, "label": "pkt-15-p5" } ], "packet_count": 16, "total_bytes": 2048 }, { "name": "case_s128_p6", "packets": [ { "id": 0, "size_bytes": 128, "priority": 6, "label": "pkt-0-p6" }, { "id": 1, "size_bytes": 128, "priority": 6, "label": "pkt-1-p6" }, { "id": 2, "size_bytes": 128, "priority": 6, "label": "pkt-2-p6" }, { "id": 3, "size_bytes": 128, "priority": 6, "label": "pkt-3-p6" }, { "id": 4, "size_bytes": 128, "priority": 6, "label": "pkt-4-p6" }, { "id": 5, "size_bytes": 128, "priority": 6, "label": "pkt-5-p6" }, { "id": 6, "size_bytes": 128, "priority": 6, "label": "pkt-6-p6" }, { "id": 7, "size_bytes": 128, "priority": 6, "label": "pkt-7-p6" }, { "id": 8, "size_bytes": 128, "priority": 6, "label": "pkt-8-p6" }, { "id": 9, "size_bytes": 128, "priority": 6, "label": "pkt-9-p6" }, { "id": 10, "size_bytes": 128, "priority": 6, "label": "pkt-10-p6" }, { "id": 11, "size_bytes": 128, "priority": 6, "label": "pkt-11-p6" }, { "id": 12, "size_bytes": 128, "priority": 6, "label": "pkt-12-p6" }, { "id": 13, "size_bytes": 128, "priority": 6, "label": "pkt-13-p6" }, { "id": 14, "size_bytes": 128, "priority": 6, "label": "pkt-14-p6" }, { "id": 15, "size_bytes": 128, "priority": 6, "label": "pkt-15-p6" } ], "packet_count": 16, "total_bytes": 2048 }, { "name": "case_s128_p7", "packets": [ { "id": 0, "size_bytes": 128, "priority": 7, "label": "pkt-0-p7" }, { "id": 1, "size_bytes": 128, "priority": 7, "label": "pkt-1-p7" }, { "id": 2, "size_bytes": 128, "priority": 7, "label": "pkt-2-p7" }, { "id": 3, "size_bytes": 128, "priority": 7, "label": "pkt-3-p7" }, { "id": 4, "size_bytes": 128, "priority": 7, "label": "pkt-4-p7" }, { "id": 5, "size_bytes": 128, "priority": 7, "label": "pkt-5-p7" }, { "id": 6, "size_bytes": 128, "priority": 7, "label": "pkt-6-p7" }, { "id": 7, "size_bytes": 128, "priority": 7, "label": "pkt-7-p7" }, { "id": 8, "size_bytes": 128, "priority": 7, "label": "pkt-8-p7" }, { "id": 9, "size_bytes": 128, "priority": 7, "label": "pkt-9-p7" }, { "id": 10, "size_bytes": 128, "priority": 7, "label": "pkt-10-p7" }, { "id": 11, "size_bytes": 128, "priority": 7, "label": "pkt-11-p7" }, { "id": 12, "size_bytes": 128, "priority": 7, "label": "pkt-12-p7" }, { "id": 13, "size_bytes": 128, "priority": 7, "label": "pkt-13-p7" }, { "id": 14, "size_bytes": 128, "priority": 7, "label": "pkt-14-p7" }, { "id": 15, "size_bytes": 128, "priority": 7, "label": "pkt-15-p7" } ], "packet_count": 16, "total_bytes": 2048 }, { "name": "case_s256_p0", "packets": [ { "id": 0, "size_bytes": 256, "priority": 0, "label": "pkt-0-p0" }, { "id": 1, "size_bytes": 256, "priority": 0, "label": "pkt-1-p0" }, { "id": 2, "size_bytes": 256, "priority": 0, "label": "pkt-2-p0" }, { "id": 3, "size_bytes": 256, "priority": 0, "label": "pkt-3-p0" }, { "id": 4, "size_bytes": 256, "priority": 0, "label": "pkt-4-p0" }, { "id": 5, "size_bytes": 256, "priority": 0, "label": "pkt-5-p0" }, { "id": 6, "size_bytes": 256, "priority": 0, "label": "pkt-6-p0" }, { "id": 7, "size_bytes": 256, "priority": 0, "label": "pkt-7-p0" }, { "id": 8, "size_bytes": 256, "priority": 0, "label": "pkt-8-p0" }, { "id": 9, "size_bytes": 256, "priority": 0, "label": "pkt-9-p0" }, { "id": 10, "size_bytes": 256, "priority": 0, "label": "pkt-10-p0" }, { "id": 11, "size_bytes": 256, "priority": 0, "label": "pkt-11-p0" }, { "id": 12, "size_bytes": 256, "priority": 0, "label": "pkt-12-p0" }, { "id": 13, "size_bytes": 256, "priority": 0, "label": "pkt-13-p0" }, { "id": 14, "size_bytes": 256, "priority": 0, "label": "pkt-14-p0" }, { "id": 15, "size_bytes": 256, "priority": 0, "label": "pkt-15-p0" } ], "packet_count": 16, "total_bytes": 4096 }, { "name": "case_s256_p1", "packets": [ { "id": 0, "size_bytes": 256, "priority": 1, "label": "pkt-0-p1" }, { "id": 1, "size_bytes": 256, "priority": 1, "label": "pkt-1-p1" }, { "id": 2, "size_bytes": 256, "priority": 1, "label": "pkt-2-p1" }, { "id": 3, "size_bytes": 256, "priority": 1, "label": "pkt-3-p1" }, { "id": 4, "size_bytes": 256, "priority": 1, "label": "pkt-4-p1" }, { "id": 5, "size_bytes": 256, "priority": 1, "label": "pkt-5-p1" }, { "id": 6, "size_bytes": 256, "priority": 1, "label": "pkt-6-p1" }, { "id": 7, "size_bytes": 256, "priority": 1, "label": "pkt-7-p1" }, { "id": 8, "size_bytes": 256, "priority": 1, "label": "pkt-8-p1" }, { "id": 9, "size_bytes": 256, "priority": 1, "label": "pkt-9-p1" }, { "id": 10, "size_bytes": 256, "priority": 1, "label": "pkt-10-p1" }, { "id": 11, "size_bytes": 256, "priority": 1, "label": "pkt-11-p1" }, { "id": 12, "size_bytes": 256, "priority": 1, "label": "pkt-12-p1" }, { "id": 13, "size_bytes": 256, "priority": 1, "label": "pkt-13-p1" }, { "id": 14, "size_bytes": 256, "priority": 1, "label": "pkt-14-p1" }, { "id": 15, "size_bytes": 256, "priority": 1, "label": "pkt-15-p1" } ], "packet_count": 16, "total_bytes": 4096 }, { "name": "case_s256_p2", "packets": [ { "id": 0, "size_bytes": 256, "priority": 2, "label": "pkt-0-p2" }, { "id": 1, "size_bytes": 256, "priority": 2, "label": "pkt-1-p2" }, { "id": 2, "size_bytes": 256, "priority": 2, "label": "pkt-2-p2" }, { "id": 3, "size_bytes": 256, "priority": 2, "label": "pkt-3-p2" }, { "id": 4, "size_bytes": 256, "priority": 2, "label": "pkt-4-p2" }, { "id": 5, "size_bytes": 256, "priority": 2, "label": "pkt-5-p2" }, { "id": 6, "size_bytes": 256, "priority": 2, "label": "pkt-6-p2" }, { "id": 7, "size_bytes": 256, "priority": 2, "label": "pkt-7-p2" }, { "id": 8, "size_bytes": 256, "priority": 2, "label": "pkt-8-p2" }, { "id": 9, "size_bytes": 256, "priority": 2, "label": "pkt-9-p2" }, { "id": 10, "size_bytes": 256, "priority": 2, "label": "pkt-10-p2" }, { "id": 11, "size_bytes": 256, "priority": 2, "label": "pkt-11-p2" }, { "id": 12, "size_bytes": 256, "priority": 2, "label": "pkt-12-p2" }, { "id": 13, "size_bytes": 256, "priority": 2, "label": "pkt-13-p2" }, { "id": 14, "size_bytes": 256, "priority": 2, "label": "pkt-14-p2" }, { "id": 15, "size_bytes": 256, "priority": 2, "label": "pkt-15-p2" } ], "packet_count": 16, "total_bytes": 4096 }, { "name": "case_s256_p3", "packets": [ { "id": 0, "size_bytes": 256, "priority": 3, "label": "pkt-0-p3" }, { "id": 1, "size_bytes": 256, "priority": 3, "label": "pkt-1-p3" }, { "id": 2, "size_bytes": 256, "priority": 3, "label": "pkt-2-p3" }, { "id": 3, "size_bytes": 256, "priority": 3, "label": "pkt-3-p3" }, { "id": 4, "size_bytes": 256, "priority": 3, "label": "pkt-4-p3" }, { "id": 5, "size_bytes": 256, "priority": 3, "label": "pkt-5-p3" }, { "id": 6, "size_bytes": 256, "priority": 3, "label": "pkt-6-p3" }, { "id": 7, "size_bytes": 256, "priority": 3, "label": "pkt-7-p3" }, { "id": 8, "size_bytes": 256, "priority": 3, "label": "pkt-8-p3" }, { "id": 9, "size_bytes": 256, "priority": 3, "label": "pkt-9-p3" }, { "id": 10, "size_bytes": 256, "priority": 3, "label": "pkt-10-p3" }, { "id": 11, "size_bytes": 256, "priority": 3, "label": "pkt-11-p3" }, { "id": 12, "size_bytes": 256, "priority": 3, "label": "pkt-12-p3" }, { "id": 13, "size_bytes": 256, "priority": 3, "label": "pkt-13-p3" }, { "id": 14, "size_bytes": 256, "priority": 3, "label": "pkt-14-p3" }, { "id": 15, "size_bytes": 256, "priority": 3, "label": "pkt-15-p3" } ], "packet_count": 16, "total_bytes": 4096 }, { "name": "case_s256_p4", "packets": [ { "id": 0, "size_bytes": 256, "priority": 4, "label": "pkt-0-p4" }, { "id": 1, "size_bytes": 256, "priority": 4, "label": "pkt-1-p4" }, { "id": 2, "size_bytes": 256, "priority": 4, "label": "pkt-2-p4" }, { "id": 3, "size_bytes": 256, "priority": 4, "label": "pkt-3-p4" }, { "id": 4, "size_bytes": 256, "priority": 4, "label": "pkt-4-p4" }, { "id": 5, "size_bytes": 256, "priority": 4, "label": "pkt-5-p4" }, { "id": 6, "size_bytes": 256, "priority": 4, "label": "pkt-6-p4" }, { "id": 7, "size_bytes": 256, "priority": 4, "label": "pkt-7-p4" }, { "id": 8, "size_bytes": 256, "priority": 4, "label": "pkt-8-p4" }, { "id": 9, "size_bytes": 256, "priority": 4, "label": "pkt-9-p4" }, { "id": 10, "size_bytes": 256, "priority": 4, "label": "pkt-10-p4" }, { "id": 11, "size_bytes": 256, "priority": 4, "label": "pkt-11-p4" }, { "id": 12, "size_bytes": 256, "priority": 4, "label": "pkt-12-p4" }, { "id": 13, "size_bytes": 256, "priority": 4, "label": "pkt-13-p4" }, { "id": 14, "size_bytes": 256, "priority": 4, "label": "pkt-14-p4" }, { "id": 15, "size_bytes": 256, "priority": 4, "label": "pkt-15-p4" } ], "packet_count": 16, "total_bytes": 4096 }, { "name": "case_s256_p5", "packets": [ { "id": 0, "size_bytes": 256, "priority": 5, "label": "pkt-0-p5" }, { "id": 1, "size_bytes": 256, "priority": 5, "label": "pkt-1-p5" }, { "id": 2, "size_bytes": 256, "priority": 5, "label": "pkt-2-p5" }, { "id": 3, "size_bytes": 256, "priority": 5, "label": "pkt-3-p5" }, { "id": 4, "size_bytes": 256, "priority": 5, "label": "pkt-4-p5" }, { "id": 5, "size_bytes": 256, "priority": 5, "label": "pkt-5-p5" }, { "id": 6, "size_bytes": 256, "priority": 5, "label": "pkt-6-p5" }, { "id": 7, "size_bytes": 256, "priority": 5, "label": "pkt-7-p5" }, { "id": 8, "size_bytes": 256, "priority": 5, "label": "pkt-8-p5" }, { "id": 9, "size_bytes": 256, "priority": 5, "label": "pkt-9-p5" }, { "id": 10, "size_bytes": 256, "priority": 5, "label": "pkt-10-p5" }, { "id": 11, "size_bytes": 256, "priority": 5, "label": "pkt-11-p5" }, { "id": 12, "size_bytes": 256, "priority": 5, "label": "pkt-12-p5" }, { "id": 13, "size_bytes": 256, "priority": 5, "label": "pkt-13-p5" }, { "id": 14, "size_bytes": 256, "priority": 5, "label": "pkt-14-p5" }, { "id": 15, "size_bytes": 256, "priority": 5, "label": "pkt-15-p5" } ], "packet_count": 16, "total_bytes": 4096 }, { "name": "case_s256_p6", "packets": [ { "id": 0, "size_bytes": 256, "priority": 6, "label": "pkt-0-p6" }, { "id": 1, "size_bytes": 256, "priority": 6, "label": "pkt-1-p6" }, { "id": 2, "size_bytes": 256, "priority": 6, "label": "pkt-2-p6" }, { "id": 3, "size_bytes": 256, "priority": 6, "label": "pkt-3-p6" }, { "id": 4, "size_bytes": 256, "priority": 6, "label": "pkt-4-p6" }, { "id": 5, "size_bytes": 256, "priority": 6, "label": "pkt-5-p6" }, { "id": 6, "size_bytes": 256, "priority": 6, "label": "pkt-6-p6" }, { "id": 7, "size_bytes": 256, "priority": 6, "label": "pkt-7-p6" }, { "id": 8, "size_bytes": 256, "priority": 6, "label": "pkt-8-p6" }, { "id": 9, "size_bytes": 256, "priority": 6, "label": "pkt-9-p6" }, { "id": 10, "size_bytes": 256, "priority": 6, "label": "pkt-10-p6" }, { "id": 11, "size_bytes": 256, "priority": 6, "label": "pkt-11-p6" }, { "id": 12, "size_bytes": 256, "priority": 6, "label": "pkt-12-p6" }, { "id": 13, "size_bytes": 256, "priority": 6, "label": "pkt-13-p6" }, { "id": 14, "size_bytes": 256, "priority": 6, "label": "pkt-14-p6" }, { "id": 15, "size_bytes": 256, "priority": 6, "label": "pkt-15-p6" } ], "packet_count": 16, "total_bytes": 4096 }, { "name": "case_s256_p7", "packets": [ { "id": 0, "size_bytes": 256, "priority": 7, "label": "pkt-0-p7" }, { "id": 1, "size_bytes": 256, "priority": 7, "label": "pkt-1-p7" }, { "id": 2, "size_bytes": 256, "priority": 7, "label": "pkt-2-p7" }, { "id": 3, "size_bytes": 256, "priority": 7, "label": "pkt-3-p7" }, { "id": 4, "size_bytes": 256, "priority": 7, "label": "pkt-4-p7" }, { "id": 5, "size_bytes": 256, "priority": 7, "label": "pkt-5-p7" }, { "id": 6, "size_bytes": 256, "priority": 7, "label": "pkt-6-p7" }, { "id": 7, "size_bytes": 256, "priority": 7, "label": "pkt-7-p7" }, { "id": 8, "size_bytes": 256, "priority": 7, "label": "pkt-8-p7" }, { "id": 9, "size_bytes": 256, "priority": 7, "label": "pkt-9-p7" }, { "id": 10, "size_bytes": 256, "priority": 7, "label": "pkt-10-p7" }, { "id": 11, "size_bytes": 256, "priority": 7, "label": "pkt-11-p7" }, { "id": 12, "size_bytes": 256, "priority": 7, "label": "pkt-12-p7" }, { "id": 13, "size_bytes": 256, "priority": 7, "label": "pkt-13-p7" }, { "id": 14, "size_bytes": 256, "priority": 7, "label": "pkt-14-p7" }, { "id": 15, "size_bytes": 256, "priority": 7, "label": "pkt-15-p7" } ], "packet_count": 16, "total_bytes": 4096 }, { "name": "case_s512_p0", "packets": [ { "id": 0, "size_bytes": 512, "priority": 0, "label": "pkt-0-p0" }, { "id": 1, "size_bytes": 512, "priority": 0, "label": "pkt-1-p0" }, { "id": 2, "size_bytes": 512, "priority": 0, "label": "pkt-2-p0" }, { "id": 3, "size_bytes": 512, "priority": 0, "label": "pkt-3-p0" }, { "id": 4, "size_bytes": 512, "priority": 0, "label": "pkt-4-p0" }, { "id": 5, "size_bytes": 512, "priority": 0, "label": "pkt-5-p0" }, { "id": 6, "size_bytes": 512, "priority": 0, "label": "pkt-6-p0" }, { "id": 7, "size_bytes": 512, "priority": 0, "label": "pkt-7-p0" }, { "id": 8, "size_bytes": 512, "priority": 0, "label": "pkt-8-p0" }, { "id": 9, "size_bytes": 512, "priority": 0, "label": "pkt-9-p0" }, { "id": 10, "size_bytes": 512, "priority": 0, "label": "pkt-10-p0" }, { "id": 11, "size_bytes": 512, "priority": 0, "label": "pkt-11-p0" }, { "id": 12, "size_bytes": 512, "priority": 0, "label": "pkt-12-p0" }, { "id": 13, "size_bytes": 512, "priority": 0, "label": "pkt-13-p0" }, { "id": 14, "size_bytes": 512, "priority": 0, "label": "pkt-14-p0" }, { "id": 15, "size_bytes": 512, "priority": 0, "label": "pkt-15-p0" } ], "packet_count": 16, "total_bytes": 8192 }, { "name": "case_s512_p1", "packets": [ { "id": 0, "size_bytes": 512, "priority": 1, "label": "pkt-0-p1" }, { "id": 1, "size_bytes": 512, "priority": 1, "label": "pkt-1-p1" }, { "id": 2, "size_bytes": 512, "priority": 1, "label": "pkt-2-p1" }, { "id": 3, "size_bytes": 512, "priority": 1, "label": "pkt-3-p1" }, { "id": 4, "size_bytes": 512, "priority": 1, "label": "pkt-4-p1" }, { "id": 5, "size_bytes": 512, "priority": 1, "label": "pkt-5-p1" }, { "id": 6, "size_bytes": 512, "priority": 1, "label": "pkt-6-p1" }, { "id": 7, "size_bytes": 512, "priority": 1, "label": "pkt-7-p1" }, { "id": 8, "size_bytes": 512, "priority": 1, "label": "pkt-8-p1" }, { "id": 9, "size_bytes": 512, "priority": 1, "label": "pkt-9-p1" }, { "id": 10, "size_bytes": 512, "priority": 1, "label": "pkt-10-p1" }, { "id": 11, "size_bytes": 512, "priority": 1, "label": "pkt-11-p1" }, { "id": 12, "size_bytes": 512, "priority": 1, "label": "pkt-12-p1" }, { "id": 13, "size_bytes": 512, "priority": 1, "label": "pkt-13-p1" }, { "id": 14, "size_bytes": 512, "priority": 1, "label": "pkt-14-p1" }, { "id": 15, "size_bytes": 512, "priority": 1, "label": "pkt-15-p1" } ], "packet_count": 16, "total_bytes": 8192 }, { "name": "case_s512_p2", "packets": [ { "id": 0, "size_bytes": 512, "priority": 2, "label": "pkt-0-p2" }, { "id": 1, "size_bytes": 512, "priority": 2, "label": "pkt-1-p2" }, { "id": 2, "size_bytes": 512, "priority": 2, "label": "pkt-2-p2" }, { "id": 3, "size_bytes": 512, "priority": 2, "label": "pkt-3-p2" }, { "id": 4, "size_bytes": 512, "priority": 2, "label": "pkt-4-p2" }, { "id": 5, "size_bytes": 512, "priority": 2, "label": "pkt-5-p2" }, { "id": 6, "size_bytes": 512, "priority": 2, "label": "pkt-6-p2" }, { "id": 7, "size_bytes": 512, "priority": 2, "label": "pkt-7-p2" }, { "id": 8, "size_bytes": 512, "priority": 2, "label": "pkt-8-p2" }, { "id": 9, "size_bytes": 512, "priority": 2, "label": "pkt-9-p2" }, { "id": 10, "size_bytes": 512, "priority": 2, "label": "pkt-10-p2" }, { "id": 11, "size_bytes": 512, "priority": 2, "label": "pkt-11-p2" }, { "id": 12, "size_bytes": 512, "priority": 2, "label": "pkt-12-p2" }, { "id": 13, "size_bytes": 512, "priority": 2, "label": "pkt-13-p2" }, { "id": 14, "size_bytes": 512, "priority": 2, "label": "pkt-14-p2" }, { "id": 15, "size_bytes": 512, "priority": 2, "label": "pkt-15-p2" } ], "packet_count": 16, "total_bytes": 8192 }, { "name": "case_s512_p3", "packets": [ { "id": 0, "size_bytes": 512, "priority": 3, "label": "pkt-0-p3" }, { "id": 1, "size_bytes": 512, "priority": 3, "label": "pkt-1-p3" }, { "id": 2, "size_bytes": 512, "priority": 3, "label": "pkt-2-p3" }, { "id": 3, "size_bytes": 512, "priority": 3, "label": "pkt-3-p3" }, { "id": 4, "size_bytes": 512, "priority": 3, "label": "pkt-4-p3" }, { "id": 5, "size_bytes": 512, "priority": 3, "label": "pkt-5-p3" }, { "id": 6, "size_bytes": 512, "priority": 3, "label": "pkt-6-p3" }, { "id": 7, "size_bytes": 512, "priority": 3, "label": "pkt-7-p3" }, { "id": 8, "size_bytes": 512, "priority": 3, "label": "pkt-8-p3" }, { "id": 9, "size_bytes": 512, "priority": 3, "label": "pkt-9-p3" }, { "id": 10, "size_bytes": 512, "priority": 3, "label": "pkt-10-p3" }, { "id": 11, "size_bytes": 512, "priority": 3, "label": "pkt-11-p3" }, { "id": 12, "size_bytes": 512, "priority": 3, "label": "pkt-12-p3" }, { "id": 13, "size_bytes": 512, "priority": 3, "label": "pkt-13-p3" }, { "id": 14, "size_bytes": 512, "priority": 3, "label": "pkt-14-p3" }, { "id": 15, "size_bytes": 512, "priority": 3, "label": "pkt-15-p3" } ], "packet_count": 16, "total_bytes": 8192 }, { "name": "case_s512_p4", "packets": [ { "id": 0, "size_bytes": 512, "priority": 4, "label": "pkt-0-p4" }, { "id": 1, "size_bytes": 512, "priority": 4, "label": "pkt-1-p4" }, { "id": 2, "size_bytes": 512, "priority": 4, "label": "pkt-2-p4" }, { "id": 3, "size_bytes": 512, "priority": 4, "label": "pkt-3-p4" }, { "id": 4, "size_bytes": 512, "priority": 4, "label": "pkt-4-p4" }, { "id": 5, "size_bytes": 512, "priority": 4, "label": "pkt-5-p4" }, { "id": 6, "size_bytes": 512, "priority": 4, "label": "pkt-6-p4" }, { "id": 7, "size_bytes": 512, "priority": 4, "label": "pkt-7-p4" }, { "id": 8, "size_bytes": 512, "priority": 4, "label": "pkt-8-p4" }, { "id": 9, "size_bytes": 512, "priority": 4, "label": "pkt-9-p4" }, { "id": 10, "size_bytes": 512, "priority": 4, "label": "pkt-10-p4" }, { "id": 11, "size_bytes": 512, "priority": 4, "label": "pkt-11-p4" }, { "id": 12, "size_bytes": 512, "priority": 4, "label": "pkt-12-p4" }, { "id": 13, "size_bytes": 512, "priority": 4, "label": "pkt-13-p4" }, { "id": 14, "size_bytes": 512, "priority": 4, "label": "pkt-14-p4" }, { "id": 15, "size_bytes": 512, "priority": 4, "label": "pkt-15-p4" } ], "packet_count": 16, "total_bytes": 8192 }, { "name": "case_s512_p5", "packets": [ { "id": 0, "size_bytes": 512, "priority": 5, "label": "pkt-0-p5" }, { "id": 1, "size_bytes": 512, "priority": 5, "label": "pkt-1-p5" }, { "id": 2, "size_bytes": 512, "priority": 5, "label": "pkt-2-p5" }, { "id": 3, "size_bytes": 512, "priority": 5, "label": "pkt-3-p5" }, { "id": 4, "size_bytes": 512, "priority": 5, "label": "pkt-4-p5" }, { "id": 5, "size_bytes": 512, "priority": 5, "label": "pkt-5-p5" }, { "id": 6, "size_bytes": 512, "priority": 5, "label": "pkt-6-p5" }, { "id": 7, "size_bytes": 512, "priority": 5, "label": "pkt-7-p5" }, { "id": 8, "size_bytes": 512, "priority": 5, "label": "pkt-8-p5" }, { "id": 9, "size_bytes": 512, "priority": 5, "label": "pkt-9-p5" }, { "id": 10, "size_bytes": 512, "priority": 5, "label": "pkt-10-p5" }, { "id": 11, "size_bytes": 512, "priority": 5, "label": "pkt-11-p5" }, { "id": 12, "size_bytes": 512, "priority": 5, "label": "pkt-12-p5" }, { "id": 13, "size_bytes": 512, "priority": 5, "label": "pkt-13-p5" }, { "id": 14, "size_bytes": 512, "priority": 5, "label": "pkt-14-p5" }, { "id": 15, "size_bytes": 512, "priority": 5, "label": "pkt-15-p5" } ], "packet_count": 16, "total_bytes": 8192 }, { "name": "case_s512_p6", "packets": [ { "id": 0, "size_bytes": 512, "priority": 6, "label": "pkt-0-p6" }, { "id": 1, "size_bytes": 512, "priority": 6, "label": "pkt-1-p6" }, { "id": 2, "size_bytes": 512, "priority": 6, "label": "pkt-2-p6" }, { "id": 3, "size_bytes": 512, "priority": 6, "label": "pkt-3-p6" }, { "id": 4, "size_bytes": 512, "priority": 6, "label": "pkt-4-p6" }, { "id": 5, "size_bytes": 512, "priority": 6, "label": "pkt-5-p6" }, { "id": 6, "size_bytes": 512, "priority": 6, "label": "pkt-6-p6" }, { "id": 7, "size_bytes": 512, "priority": 6, "label": "pkt-7-p6" }, { "id": 8, "size_bytes": 512, "priority": 6, "label": "pkt-8-p6" }, { "id": 9, "size_bytes": 512, "priority": 6, "label": "pkt-9-p6" }, { "id": 10, "size_bytes": 512, "priority": 6, "label": "pkt-10-p6" }, { "id": 11, "size_bytes": 512, "priority": 6, "label": "pkt-11-p6" }, { "id": 12, "size_bytes": 512, "priority": 6, "label": "pkt-12-p6" }, { "id": 13, "size_bytes": 512, "priority": 6, "label": "pkt-13-p6" }, { "id": 14, "size_bytes": 512, "priority": 6, "label": "pkt-14-p6" }, { "id": 15, "size_bytes": 512, "priority": 6, "label": "pkt-15-p6" } ], "packet_count": 16, "total_bytes": 8192 }, { "name": "case_s512_p7", "packets": [ { "id": 0, "size_bytes": 512, "priority": 7, "label": "pkt-0-p7" }, { "id": 1, "size_bytes": 512, "priority": 7, "label": "pkt-1-p7" }, { "id": 2, "size_bytes": 512, "priority": 7, "label": "pkt-2-p7" }, { "id": 3, "size_bytes": 512, "priority": 7, "label": "pkt-3-p7" }, { "id": 4, "size_bytes": 512, "priority": 7, "label": "pkt-4-p7" }, { "id": 5, "size_bytes": 512, "priority": 7, "label": "pkt-5-p7" }, { "id": 6, "size_bytes": 512, "priority": 7, "label": "pkt-6-p7" }, { "id": 7, "size_bytes": 512, "priority": 7, "label": "pkt-7-p7" }, { "id": 8, "size_bytes": 512, "priority": 7, "label": "pkt-8-p7" }, { "id": 9, "size_bytes": 512, "priority": 7, "label": "pkt-9-p7" }, { "id": 10, "size_bytes": 512, "priority": 7, "label": "pkt-10-p7" }, { "id": 11, "size_bytes": 512, "priority": 7, "label": "pkt-11-p7" }, { "id": 12, "size_bytes": 512, "priority": 7, "label": "pkt-12-p7" }, { "id": 13, "size_bytes": 512, "priority": 7, "label": "pkt-13-p7" }, { "id": 14, "size_bytes": 512, "priority": 7, "label": "pkt-14-p7" }, { "id": 15, "size_bytes": 512, "priority": 7, "label": "pkt-15-p7" } ], "packet_count": 16, "total_bytes": 8192 }]{ "name": "smoke_minimal", "packets": [ { "id": 0, "size_bytes": 64, "priority": 0, "label": "pkt-0-p0" }, { "id": 1, "size_bytes": 512, "priority": 0, "label": "pkt-1-p0" }, { "id": 2, "size_bytes": 64, "priority": 0, "label": "pkt-2-p0" }, { "id": 3, "size_bytes": 512, "priority": 0, "label": "pkt-3-p0" } ], "packet_count": 4, "total_bytes": 1152}© 2026 Luuvish. Decl is open source under the MIT License.
Type: Literata and IBM Plex, under the SIL Open Font License. Built with Astro Starlight.