src/Testcases/YosysTests/yosys/yosys_synth/run_yosys.sh

#!/bin/bash

yosys -S ../run_script.ys >> yosys.log