; RUN: firrtl -i %s -o %s.flo -X flo -p cd | tee %s.out | FileCheck %s

; CHECK: Make Explicit Reset
circuit top :
   module A :
      ;CHECK: input reset : UInt<1>
      input x : UInt<16>
      output y : UInt<16>
      inst b of B
      ;CHECK: b.reset := reset
   module B :
      input reset : UInt<1>
      ;CHECK: input reset : UInt<1>
      input x : UInt<16>
      output y : UInt<16>
      inst c of C
      ;CHECK: c.reset := reset
   module C :
      ;CHECK: input reset : UInt<1>
      input a : UInt<16>
      input b : UInt<16>
   module top :
      ;CHECK: input reset : UInt<1>
      input a : UInt<16>
      input b : UInt<16>
      output z : UInt<1>
      inst x of A
      ;CHECK: x.reset := reset
;CHECK: Finished Make Explicit Reset