1 files changed, 49 insertions, 0 deletions
diff --git a/src/ninep/tree.zig b/src/ninep/tree.zig
index f6cb115a..5f3ffc9c 100644
--- a/src/ninep/tree.zig
+++ b/src/ninep/tree.zig
@@ -1628,6 +1628,55 @@ test "editor paths resolve to the same nodes the wire serves" {
     try testing.expectEqual(before, p.next_serial);
 }
 
+test "random placements, refused or not, leave no pane under its tag and two rows" {
+    var tmp = testing.tmpDir(.{});
+    defer tmp.cleanup();
+    try tmp.dir.writeFile(testing.io, .{ .sub_path = "f.txt", .data = "one\ntwo\n" });
+    var dir_buf: [4096]u8 = undefined;
+    const dir = dir_buf[0..try tmp.dir.realPath(testing.io, &dir_buf)];
+    var look_line: [4200]u8 = undefined;
+    const looked = try std.fmt.bufPrint(&look_line, "{s}/f.txt\n", .{dir});
+    var seed: u64 = 0;
+    while (seed < 300) : (seed += 1) {
+        var prng = std.Random.DefaultPrng.init(seed);
+        const r = prng.random();
+        const rows = r.intRangeAtMost(u16, 6, 40);
+        const p = try pardes.Pardes.init(testing.allocator, .{ .tty_only = true, .cols = r.intRangeAtMost(u16, 60, 240), .rows = rows });
+        defer p.deinit();
+        while (p.nextEffect()) |_| {}
+        _ = try p.setTestFile("x\n");
+        while (p.nextEffect()) |_| {}
+        for (0..r.uintLessThan(usize, 3)) |_| _ = th.wr(p, Node.of(serialOf(p), .exec), "Newcol\n");
+        if (r.boolean()) p.settings.placement = .pardes;
+        for (0..40) |step| {
+            var serials: [pardes.MAX_PANES]u32 = undefined;
+            var n: usize = 0;
+            for (p.panes) |slot| if (slot) |pn| {
+                serials[n] = pn.serial;
+                n += 1;
+            };
+            if (n == 0) break;
+            const at = serials[r.uintLessThan(usize, n)];
+            const action = r.uintLessThan(u8, 8);
+            switch (action) {
+                0 => _ = th.wr(p, Node.of(at, .exec), "New\n"),
+                1 => _ = call(p, .{ .tag = 1, .op = .open, .node = @intFromEnum(TopFile.new) }),
+                2 => _ = th.wr(p, Node.of(at, .exec), "Newcol\n"),
+                3 => _ = th.wr(p, Node.of(at, .exec), "Edit =\n"),
+                4 => _ = th.wr(p, Node.of(at, .exec), "Tty\n"),
+                5 => _ = th.wr(p, Node.of(at, .look), looked),
+                6 => _ = th.wr(p, Node.of(at, .exec), "Delcol\n"),
+                else => _ = th.wr(p, Node.of(at, .ctl), "delete\n"),
+            }
+            for (0..p.ncol) |c| if (!layout.columnAtMinimums(p, c)) {
+                std.debug.print("seed {d} rows {d} step {d} action {d}: column {d} under its minimums\n", .{ seed, rows, step, action, c });
+                for (p.col_panes[c][0..p.col_n[c]]) |id| std.debug.print("  pane {d} h {d} min {d}\n", .{ id, p.rects[id].h, layout.minRows(p, id) });
+                return error.TestUnexpectedResult;
+            };
+        }
+    }
+}
+
 test "at the pane cap, pane/new, look and New each say so, and look reads back empty" {
     const p = try th.withFile(testing.allocator, "x\n");
     defer p.deinit();