diff options
| author | jackbackrack | 2015-05-14 13:39:56 -0700 |
|---|---|---|
| committer | jackbackrack | 2015-05-14 13:39:56 -0700 |
| commit | 369a6d9ee974f7ca825174e053742e0d4f440575 (patch) | |
| tree | 1fa3fc4a103505d4b5eac777d320bc825dd90de5 /test/errors/high-form/Unique.fir | |
| parent | 54c33b61ff2c6da7fcd717885316604ecc559c25 (diff) | |
| parent | 521a4277bfc1d764dc9ee771c604200525e871cb (diff) | |
merge
Diffstat (limited to 'test/errors/high-form/Unique.fir')
| -rw-r--r-- | test/errors/high-form/Unique.fir | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/errors/high-form/Unique.fir b/test/errors/high-form/Unique.fir new file mode 100644 index 00000000..de95e6cd --- /dev/null +++ b/test/errors/high-form/Unique.fir @@ -0,0 +1,16 @@ +; RUN: firrtl -i %s -o %s.flo -x X -p c | tee %s.out | FileCheck %s + +; CHECK: Reference x does not have a unique name. +; CHECK: Reference p does not have a unique name. +; CHECK-NOT: Reference q does not have a unique name. + +circuit Top : + module Top : + wire x : UInt<1> + wire x : UInt<2> + wire p : UInt<3> + wire q : UInt<3> + when p : + wire p : UInt<4> + module Other : + wire q : UInt<3> |