src/Testcases/YosysTests/regression/issue_00527/testcase

#!/bin/bash

yosys -t syn.tcl

if grep -q DFFSR sd_rrmux_osu.gv; then
  echo "FAILED -- DFFSR present in netlist"
else
  echo "PASSED -- DFFSR not present"
fi