tests/clock_mux/golden.model.xml

<models xmlns:xi="http://www.w3.org/2001/XInclude">
  <model name="GMUX">
    <input_ports>
      <port combinational_sink_ports="IZ" is_clock="1" name="IC"/>
      <port combinational_sink_ports="IZ" is_clock="1" name="IP"/>
      <port combinational_sink_ports="IZ" name="IS0"/>
    </input_ports>
    <output_ports>
      <port name="IZ"/>
    </output_ports>
  </model>
</models>