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

about summary refs log tree commit diff stats

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

blob: 10ec36d01e5550096dbd34820c4cc0f7b2b7c8e2 (plain)

#!/bin/sh

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

formal "test_abs"

clean
echo OK