then:
        interaction {
            (progressArea.getHeight() - 1) * ansi.newline()
            0 * ansi._
        }
    }

    def "redraw the work in progress area"() {
        given:
        fillArea()

        when:
        redraw()

        then:
        interaction {
            (progressArea.getHeight() - 1) * ansi.newline()
            1 * ansi.cursorUp(5)

  auto input_type = transpose_conv.getInput()
                        .getType()
                        .dyn_cast_or_null<mlir::RankedTensorType>();
  auto weight_type = transpose_conv.getWeights()
                         .getType()
                         .dyn_cast_or_null<mlir::RankedTensorType>();
  if (input_type && weight_type && input_type.hasStaticShape() &&
      weight_type.hasStaticShape()) {

    }

    /**
     * The location of the top left of this progress area.
     */
    public Cursor getWritePosition() {
        return statusAreaPos;
    }

    public int getHeight() {
        return entries.size();
    }

    @Override
    public void resizeBuildProgressTo(int buildProgressLabelCount) {
        int delta = buildProgressLabelCount - buildProgressLabels.size();

        BufferedImage img = ImageIO.read(file);
        logger.debug("width: {}, height: {}", img.getWidth(), img.getHeight());
        assertEquals("Image Width", width, img.getWidth());
        assertEquals("Image Height", height, img.getHeight());
    }

        getTerminal().setSize(size);
    }

    @Override
    public int getWidth() {
        return getTerminal().getWidth();
    }

    @Override
    public int getHeight() {
        return getTerminal().getHeight();
    }

    @Override
    public Size getBufferSize() {
        return getTerminal().getBufferSize();
    }

    @Override
    public void flush() {

              } else if (map.isExpired(e, now)) {
                // This is a duplicate check, as preWriteCleanup already purged expired
                // entries, but let's accommodate an incorrect expiration queue.
                enqueueNotification(
                    entryKey, hash, value, valueReference.getWeight(), RemovalCause.EXPIRED);

              } else if (map.isExpired(e, now)) {
                // This is a duplicate check, as preWriteCleanup already purged expired
                // entries, but let's accommodate an incorrect expiration queue.
                enqueueNotification(
                    entryKey, hash, value, valueReference.getWeight(), RemovalCause.EXPIRED);

                reader.setInput(input);
                final ImageReadParam param = reader.getDefaultReadParam();
                final int width = reader.getWidth(0);
                final int height = reader.getHeight(0);
                if (width <= 0 || height <= 0) {
                    return Result.NO_IMAGE;
                }
                if (!fessConfig.validateThumbnailSize(width, height)) {