run-test.sh « svtypes « tests - iCE40/yosys - [no description]

about summary refs log tree commit diff stats

path: root/tests/svtypes/run-test.sh

blob: 91ceae227fb4f9b5f242ca08b2a99be18037eec9 (plain)

#!/usr/bin/env bash
set -eu
source ../gen-tests-makefile.sh
run_tests --yosys-scripts --prove-sv