testsuite.sh « ram « formal « testsuite - iCE40/ghdl-yosys-plugin - [no description]

about summary refs log tree commit diff stats

path: root/testsuite/formal/ram/testsuite.sh

blob: 3cf250412c5422f8cd97f6d936c99f6c281e88c2 (plain)

#!/bin/sh

topdir=../..
. $topdir/testenv.sh

formal wbr_ram

clean
echo OK