testsuite.sh « issue1309b « ghdl-issues « testsuite - iCE40/ghdl-yosys-plugin - [no description]

about summary refs log tree commit diff stats

path: root/testsuite/ghdl-issues/issue1309b/testsuite.sh

blob: 7b3d2d93e586cf400fdc64a0f48227556ea9c657 (plain)

#!/bin/sh

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

run_symbiyosys -fd work/psl_test psl_test.sby prove

clean
echo OK