blob: 244853cfaea55b56c22afa25a4b211dffdbe5550 (
plain)
1
2
3
4
5
6
7
8
9
10
|
; RUN: firrtl %s abcde ct | tee %s.out | FileCheck %s
;CHECK: Infer Types
circuit top :
module top :
wire io : {input x : UInt, output y : UInt}
node a = io.x
;CHECK: wire io : {input x : UInt@<t:UInt>, output y : UInt@<t:UInt>}@<t:{input x : UInt@<t:UInt>, output y : UInt@<t:UInt>}>
;CHECK: node a = io@<t:{input x : UInt@<t:UInt>, output y : UInt@<t:UInt>}>.x@<t:UInt>
;CHECK: Finished Infer Types
|
