tests/clocks/dff_one_clock/golden.model.xml

<?xml version="1.0"?>
<models>
  <model name="BLOCK">
    <input_ports>
      <port name="a" is_clock="1" />
      <port name="b" clock="a" />
    </input_ports>
    <output_ports>
      <port name="c" clock="a" />
    </output_ports>
  </model>
</models>