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/WrongReset.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/WrongReset.fir')
| -rw-r--r-- | test/errors/high-form/WrongReset.fir | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/errors/high-form/WrongReset.fir b/test/errors/high-form/WrongReset.fir new file mode 100644 index 00000000..c936f0b3 --- /dev/null +++ b/test/errors/high-form/WrongReset.fir @@ -0,0 +1,15 @@ +; RUN: firrtl -i %s -o %s.flo -x X -p c | tee %s.out | FileCheck %s + +; CHECK: Module Top has a reset that is not of type UInt<1>. +; CHECK: Module B has a reset that is not of type UInt<1>. +; CHECK: Module C has a reset that is not of type UInt<1>. + +circuit Top : + module Top : + input reset : SInt<1> + module B : + input reset : UInt + module C : + output reset : UInt<1> + + |