Add ability to override verilog mode for verific -f command

[yosys.git] / tests / svtypes / run-test.sh

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