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

#!/bin/bash

yosys -b blif ../run_script.ys >> yosys.log