#!/bin/bash

set -ex
${XRAY_VIVADO} -mode batch -source $XRAY_DIR/minitests/util/runme.tcl
${XRAY_BITREAD} -F $XRAY_ROI_FRAMES -o design.bits -z -y design.bit
test -z "$(fgrep CRITICAL vivado.log)"
# TODO uncomment once tilegrid generation works
#${XRAY_SEGPRINT} -z -D design.bits  >design.txt