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

#!/bin/bash

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