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

#!/bin/bash

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