diff options
| author | azidar | 2015-05-05 17:37:27 -0700 |
|---|---|---|
| committer | azidar | 2015-05-05 17:37:27 -0700 |
| commit | 791334cced721789fad180b6479cfa783963032f (patch) | |
| tree | 057c3bf7bbd4e2a37daa5cdaec77a17d479108d9 /test/errors/high-form/Unique.fir | |
| parent | 5b23a9a645db190cea69f30aa1cd370c257fe774 (diff) | |
Added a bunch of tests. In the middle of implementing check kinds and check types. Does not compile
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> |