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

about summary refs log tree commit diff stats

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

blob: 66e1f8c85caa49101781884911cb2b7277550f4a (plain)

#!/bin/sh

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

run_yosys psl_p_plus.ys

run_symbiyosys -f compare_psl_p_plus.sby compare cover

echo OK