; RUN: firrtl %s abcefghipjk cT | tee %s.out | FileCheck %s

;CHECK: Infer Widths
circuit top :
   module top :
      wire e : UInt(30)
      reg y : UInt
      y := e
   

; CHECK: Finished Infer Widths