; RUN: firrtl -i %s -o %s.flo -X flo -p c | tee %s.out | FileCheck %s
circuit top :
   module top :
      wire p : UInt
      when p :
         reg r : UInt
         on-reset r := UInt(10)
         r := UInt(20)

; CHECK: Expand Whens

; CHECK: circuit top :
; CHECK:   module top :
; CHECK:   wire p : UInt
; CHECK:   reg r : UInt
; CHECK:   r := mux(reset, UInt(10), UInt(20))

; CHECK: Finished Expand Whens