aboutsummaryrefslogtreecommitdiffstats
path: root/tests/liberty/run-test.sh
blob: 7e2ed2370a8a329c489411ca8d99b4c882874136 (plain)
1
2
3
4
5
6
7
8
9
10
#!/bin/bash
set -e

for x in *.lib; do
	echo "Running $x.."
    echo "read_verilog small.v" > test.ys
    echo "synth -top small" >> test.ys
    echo "dfflibmap -liberty ${x}" >> test.ys
	../../yosys -ql ${x%.lib}.log -s test.ys
done