SVIncCompil/Testcases/YosysTests/yosys/yosys_headers/run_yosys.sh

#!/bin/bash

yosys -v 3 ../run_script.ys >> yosys.log