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